C.A. Vissers
C.A. Vissers
Professor of Computer Science
Verified email at kpnplanet.nl - Homepage
Title
Cited by
Cited by
Year
The Formal Description Technique LOTOS: Results of the ESPRIT/SEDOS Project
PHJ van Eijk, CA Vissers, M Diaz
North Holland, 1989
3031989
Specification styles in distributed systems design and verification
CA Vissers, G Scollo, M Van Sinderen, E Brinksma
Theoretical Computer Science 89 (1), 179-206, 1991
2211991
Architecture and specification style in formal descriptions of distributed systems
CA Vissers, G Scollo, MJ van Sinderen
IFIP WG6. 1 Eighth International Symposium on Protocol Specification …, 1988
2201988
A business process design language
H Eertink, W Janssen, PO Luttighuis, W Teeuw, C Vissers
International Symposium on Formal Methods, 76-95, 1999
1191999
The importance of the service concept in the design of data communications protocols.
CA Vissers, L Logrippo
PSTV, 3-17, 1985
1051985
LOTOSphere: software development with LOTOS
T Bolognesi, J Van de Lagemaat, C Vissers
Springer Science & Business Media, 2012
1012012
Reference model for manufacturing planning and control systems
FP Biemans, CA Vissers
Journal of Manufacturing Systems 8 (1), 35-46, 1989
781989
On the role of basic design concepts in behaviour structuring
DAC Quartel, LF Pires, MJ Van Sinderen, HM Franken, CA Vissers
Computer networks and ISDN systems 29 (4), 413-436, 1997
621997
Formal description techniques
CA Vissers, RL Tenney, GV Bochmann
Proceedings of the IEEE 71 (12), 1356-1364, 1983
491983
A design model for open distributed processing systems
M Van Sinderen, LF Pires, CA Vissers, JP Katoen
Computer Networks and ISDN Systems 27 (8), 1263-1285, 1995
381995
A systems theoretic view of computer integrated manufacturing
FPM BTEMANS, CA Vissers
THE INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 29 (5), 947-966, 1991
301991
Protocol design and implementation using formal methods
M Van Sinderen, LF Pires, CA Vissers
The Computer Journal 35 (5), 478-491, 1992
291992
Sedos software environment for the design of open distributed systems
M Diaz, C Vissers, JP Ansart
The formal Description Technique LOTOS, 1989
291989
Instrumentation: Insight into interfacing: Thorough and unambiguous understanding of interface systems demands sound design concepts and a precise descriptive language
DE Knoblock, DC Loughry, CA Vissers
IEEE spectrum 12 (5), 50-57, 1975
281975
What makes industries believe in formal methods
CA Vissers, M van Sinderen, LF Pires
PSTV 13, 3-26, 1993
261993
FDTs for open distributed systems, a retrospective and a prospective view
CA Vissers
Proceedings of the IFIP WG6. 1 Tenth International Symposium on Protocol …, 1990
251990
The architectural design of distributed systems
CA Vissers, LF Pires, DA Quartel, M van Sinderen
Lecture Notes, University of Twente, Enschede, The Netherlands, 2002
242002
SEDOS: Designing open distributed systems
M Diaz, C Vissers
IEEE Software 6 (6), 24-33, 1989
221989
Formal specification in OSI
CA Vissers, G Scollo
Networking in Open Systems, 338-359, 1987
191987
Reference models for advanced e-services
CA Vissers, MM Lankhorst, RJ Slagter
Digital Communities in A Networked Society, 369-393, 2004
152004
The system can't perform the operation now. Try again later.
Articles 1–20