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
2851989
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
2181991
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
2141988
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
1101985
LOTOSphere: software development with LOTOS
T Bolognesi, J Van de Lagemaat, C Vissers
Springer Science & Business Media, 2012
962012
Reference model for manufacturing planning and control systems
FP Biemans, CA Vissers
Journal of Manufacturing Systems 8 (1), 35-46, 1989
671989
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
601997
Formal description techniques
CA Vissers, RL Tenney, GV Bochmann
Proceedings of the IEEE 71 (12), 1356-1364, 1983
541983
Formal Description Technique Lotos: Results of the Esprit Sedos Project
PV Eijk, M Diaz
Elsevier Science Inc., 1989
441989
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
341995
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
311975
A systems theoretic view of computer integrated manufacturing
FPM BTEMANS, CA Vissers
THE INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH 29 (5), 947-966, 1991
281991
What makes industries believe in formal methods
CA Vissers, M van Sinderen, LF Pires
PSTV 13, 3-26, 1993
271993
Protocol design and implementation using formal methods
M Van Sinderen, LF Pires, CA Vissers
The Computer Journal 35 (5), 478-491, 1992
261992
Sedos software environment for the design of open distributed systems
M Diaz, C Vissers, JP Ansart
The formal Description Technique LOTOS, 1989
251989
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
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
241990
SEDOS: Designing open distributed systems
M Diaz, C Vissers
IEEE Software 6 (6), 24-33, 1989
231989
Formal specification in OSI
CA Vissers, G Scollo
Networking in Open Systems, 338-359, 1987
211987
The system can't perform the operation now. Try again later.
Articles 1–20