Chris A. Vissers

Chris A. Vissers, Marc M. Lankhorst, Robert Slagter: Reference Models for Advanced E-Services. I3E 2003: 369-393

Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers: A Business Process Design Language. World Congress on Formal Methods 1999: 76-95

Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen, Henry M. Franken, Chris A. Vissers: On the Role of Basic Design Concepts in Behaviour Structuring. Computer Networks and ISDN Systems 29(4): 413-436 (1997)

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen: A Design Model for Open Distributed Processing Systems. Computer Networks and ISDN Systems 27(8): 1263-1285 (1995)

Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers: An Engineering Approach towards Action Refinement. FTDCS 1995: 266-273

Mark K. de Weger, Chris A. Vissers: Issues in design methodologies for distributed information systems. Methods and Associated Tools for the Information Systems Life Cycle 1994: 195-208

Chris A. Vissers: Report on the Architectural Semantics Workshop. Open Distributed Processing 1993: 367-386

Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires: What Makes Industries Believe in Formal Methods. PSTV 1993: 3-26

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers: Protocol Design and Implementation Using Formal Methods. Comput. J. 35(5): 478-491 (1992)

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991)

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma: Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89(1): 179-206 (1991)

Chris A. Vissers: FDTs for open distributed systems, a retrospective and a prospective view. PSTV 1990: 341-362

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers (Eds.): Protocol Specification, Testing and Verification IX, Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. North-Holland 1990, isbn 0-444-88343-6

Michael Diaz, Chris A. Vissers: SEDOS: Designing Open Distributed Systems. IEEE Software 6(6): 24-33 (1989)

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma: On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). TAPSOFT, Vol.2 1989: 60

Chris A. Vissers, Giuseppe Scollo: Formal Specification in OSI. Networking in Open Systems 1986: 338-359

Chris A. Vissers: Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). IFIP Congress 1986: 321-328

Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano: Lotos in Practice. IFIP Congress 1986: 869-876

Berthold Butscher, Luciano Lenzini, R. Morling, Chris A. Vissers, Radu Popescu-Zeletin, Marten van Sinderen: Networks Interconnections - An Architectural Reference Model. Kommunikation in Verteilten Systemen (1) 1985: 338-353

Chris A. Vissers, Luigi Logrippo: The importance of the service concept in the design of data communications protocols. PSTV 1985: 3-17

Ignas G. Niemegeers, Chris A. Vissers: Twentenet: A LAN with message priorities, design and performance considerations. Computer Communication Review 14(2): 178-185 (1984)

Chris A. Vissers: Interface, A Dispersed Architecture. ISCA 1976: 98-104