Chris A. Vissers

Publication Activity (10 Years)

Years Active: 1976-2003
Publications (10 Years): 0

Publications

Chris A. Vissers, Marc M. Lankhorst, Robert Slagter
Reference Models for Advanced E-Services. I3E (2003)
Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers
A Business Process Design Language. World Congress on Formal Methods (1999)
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. Comput. Networks ISDN Syst. 29 (4) (1997)
Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers
An Engineering Approach towards Action Refinement. FTDCS (1995)
Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen
A Design Model for Open Distributed Processing Systems. Comput. Networks ISDN Syst. 27 (8) (1995)
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)
Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires
What Makes Industries Believe in Formal Methods. PSTV (1993)
Chris A. Vissers
Report on the Architectural Semantics Workshop. Open Distributed Processing (1993)
Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers
Protocol Design and Implementation Using Formal Methods. Comput. J. 35 (5) (1992)
Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma
Specification Styles in Distributed Systems Design and Verification. Theor. Comput. Sci. 89 (1) (1991)
Ed Brinksma, Giuseppe Scollo, Chris A. Vissers
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22 (1) (1991)
Chris A. Vissers
FDTs for open distributed systems, a retrospective and a prospective view. PSTV (1990)
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)
Michael Diaz, Chris A. Vissers
SEDOS: Designing Open Distributed Systems. IEEE Softw. 6 (6) (1989)
Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano
Lotos in Practice. IFIP Congress (1986)
Chris A. Vissers
Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). IFIP Congress (1986)
Chris A. Vissers, Giuseppe Scollo
Formal Specification in OSI. Networking in Open Systems (1986)
Chris A. Vissers, Luigi Logrippo
The importance of the service concept in the design of data communications protocols. PSTV (1985)
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)
Ignas G. Niemegeers, Chris A. Vissers
Twentenet: A LAN with message priorities, design and performance considerations. Comput. Commun. Rev. 14 (2) (1984)
Chris A. Vissers
Interface, A Dispersed Architecture. ISCA (1976)