| 2003 | ||
|---|---|---|
| c14 | Chris A. Vissers, Marc M. Lankhorst, Robert Slagter: Reference Models for Advanced E-Services. I3E 2003: 369-393 | |
| 1999 | ||
| c13 | 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 | |
| 1997 | ||
| j7 | 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) | |
| 1995 | ||
| j6 | 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) | |
| c12 | Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers: An Engineering Approach towards Action Refinement. FTDCS 1995: 266-273 | |
| 1994 | ||
| c11 | 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 | |
| 1993 | ||
| c10 | Chris A. Vissers: Report on the Architectural Semantics Workshop. Open Distributed Processing 1993: 367-386 | |
| c9 | Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires: What Makes Industries Believe in Formal Methods. PSTV 1993: 3-26 | |
| 1992 | ||
| j5 | Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers: Protocol Design and Implementation Using Formal Methods. Comput. J. 35(5): 478-491 (1992) | |
| 1991 | ||
| j4 | Ed Brinksma, Giuseppe Scollo, Chris A. Vissers: Introduction to the PSTV-IX. Computer Networks and ISDN Systems 22(1): 1-6 (1991) | |
| j3 | 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) | |
| 1990 | ||
| c8 | Chris A. Vissers: FDTs for open distributed systems, a retrospective and a prospective view. PSTV 1990: 341-362 | |
| e1 | 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 | |
| 1989 | ||
| j2 | Michael Diaz, Chris A. Vissers: SEDOS: Designing Open Distributed Systems. IEEE Software 6(6): 24-33 (1989) | |
| c7 | 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 | |
| 1986 | ||
| c6 | Chris A. Vissers, Giuseppe Scollo: Formal Specification in OSI. Networking in Open Systems 1986: 338-359 | |
| c5 | Chris A. Vissers: Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). IFIP Congress 1986: 321-328 | |
| c4 | Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano: Lotos in Practice. IFIP Congress 1986: 869-876 | |
| 1985 | ||
| c3 | 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 | |
| c2 | Chris A. Vissers, Luigi Logrippo: The importance of the service concept in the design of data communications protocols. PSTV 1985: 3-17 | |
| 1984 | ||
| j1 | Ignas G. Niemegeers, Chris A. Vissers: Twentenet: A LAN with message priorities, design and performance considerations. Computer Communication Review 14(2): 178-185 (1984) | |
| 1976 | ||
| c1 | ||
Data released under the ODC-BY 1.0 license — See also our legal information page