| 2003 |
|---|
| 22 | | Chris A. Vissers,
Marc M. Lankhorst,
Robert Slagter:
Reference Models for Advanced E-Services.
I3E 2003: 369-393 |
| 1999 |
|---|
| 21 | EE | 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 |
|---|
| 20 | EE | 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 |
|---|
| 19 | EE | Dick A. C. Quartel,
Luís Ferreira Pires,
Henry M. Franken,
Chris A. Vissers:
An Engineering Approach towards Action Refinement.
FTDCS 1995: 266-273 |
| 18 | EE | 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) |
| 1994 |
|---|
| 17 | | 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 |
|---|
| 16 | | Chris A. Vissers:
Report on the Architectural Semantics Workshop.
Open Distributed Processing 1993: 367-386 |
| 15 | | Chris A. Vissers,
Marten van Sinderen,
Luís Ferreira Pires:
What Makes Industries Believe in Formal Methods.
PSTV 1993: 3-26 |
| 1992 |
|---|
| 14 | | 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 |
|---|
| 13 | | Ed Brinksma,
Giuseppe Scollo,
Chris A. Vissers:
Introduction to the PSTV-IX.
Computer Networks and ISDN Systems 22(1): 1-6 (1991) |
| 12 | | 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 |
|---|
| 11 | | Ed Brinksma,
Giuseppe Scollo,
Chris A. Vissers:
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 |
| 10 | | Chris A. Vissers:
FDTs for open distributed systems, a retrospective and a prospective view.
PSTV 1990: 341-362 |
| 1989 |
|---|
| 9 | | 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 |
| 8 | | Michael Diaz,
Chris A. Vissers:
SEDOS: Designing Open Distributed Systems.
IEEE Software 6(6): 24-33 (1989) |
| 1986 |
|---|
| 7 | | Chris A. Vissers:
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).
IFIP Congress 1986: 321-328 |
| 6 | | Giuseppe Scollo,
Chris A. Vissers,
Antonella Di Stefano:
Lotos in Practice.
IFIP Congress 1986: 869-876 |
| 5 | | Chris A. Vissers,
Giuseppe Scollo:
Formal Specification in OSI.
Networking in Open Systems 1986: 338-359 |
| 1985 |
|---|
| 4 | | 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 |
| 3 | | Chris A. Vissers,
Luigi Logrippo:
The importance of the service concept in the design of data communications protocols.
PSTV 1985: 3-17 |
| 1984 |
|---|
| 2 | EE | 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 |
|---|
| 1 | | Chris A. Vissers:
Interface, A Dispersed Architecture.
ISCA 1976: 98-104 |
