Chris A. Vissers

According to our database, Chris A. Vissers authored at least 22 papers between 1976 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Architectural Design - Conception and Specification of Interactive Systems

Chris A. Vissers, Luís Ferreira Pires, Dick A. C. Quartel, Marten van Sinderen

Springer, ISBN: 978-3-319-43298-4, 2016

2003

Reference Models for Advanced E-Services.

Chris A. Vissers, Marc M. Lankhorst, Robert Slagter

Proceedings of the Digital Communities in a Networked Society: eCommerce, 2003

1999

A Business Process Design Language.

Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw, Chris A. Vissers

Proceedings of the FM'99 - Formal Methods, 1999

1997

On the Role of Basic Design Concepts in Behaviour Structuring.

Dick A. C. Quartel, Luís Ferreira Pires, Marten van Sinderen, Henry M. Franken, Chris A. Vissers

Comput. Networks ISDN Syst., 1997

1995

A Design Model for Open Distributed Processing Systems.

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers, Joost-Pieter Katoen

Comput. Networks ISDN Syst., 1995

An Engineering Approach towards Action Refinement.

Dick A. C. Quartel, Luís Ferreira Pires, Henry M. Franken, Chris A. Vissers

Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994

Issues in design methodologies for distributed information systems.

Mark K. de Weger, Chris A. Vissers

Proceedings of the Methods and Associated Tools for the Information Systems Life Cycle, 1994

1993

What Makes Industries Believe in Formal Methods.

Chris A. Vissers, Marten van Sinderen, Luís Ferreira Pires

Proceedings of the Protocol Specification, 1993

Report on the Architectural Semantics Workshop.

Chris A. Vissers

Proceedings of the Open Distributed Processing, 1993

1992

Protocol Design and Implementation Using Formal Methods.

Marten van Sinderen, Luís Ferreira Pires, Chris A. Vissers

Comput. J., 1992

1991

Specification Styles in Distributed Systems Design and Verification.

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Theor. Comput. Sci., 1991

Introduction to the PSTV-IX.

Ed Brinksma, Giuseppe Scollo, Chris A. Vissers

Comput. Networks ISDN Syst., 1991

1990

FDTs for open distributed systems, a retrospective and a prospective view.

Chris A. Vissers

Proceedings of the Protocol Specification, 1990

1989

SEDOS: Designing Open Distributed Systems.

Michael Diaz, Chris A. Vissers

IEEE Softw., 1989

On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract).

Chris A. Vissers, Giuseppe Scollo, Marten van Sinderen, Ed Brinksma

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

1986

Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).

Chris A. Vissers

Proceedings of the Information Processing 86, 1986

Lotos in Practice.

Giuseppe Scollo, Chris A. Vissers, Antonella Di Stefano

Proceedings of the Information Processing 86, 1986

Formal Specification in OSI.

Chris A. Vissers, Giuseppe Scollo

Proceedings of the Networking in Open Systems, 1986

1985

The importance of the service concept in the design of data communications protocols.

Chris A. Vissers, Luigi Logrippo

Proceedings of the Protocol Specification, 1985

Networks Interconnections - An Architectural Reference Model.

Berthold Butscher, Luciano Lenzini, R. Morling, Chris A. Vissers, Radu Popescu-Zeletin, Marten van Sinderen

Proceedings of the Kommunikation in Verteilten Systemen I, 1985

1984

Twentenet: A LAN with message priorities, design and performance considerations.

Ignas G. Niemegeers, Chris A. Vissers

Comput. Commun. Rev., 1984

1976

Interface, A Dispersed Architecture.

Chris A. Vissers

Proceedings of the 3rd Annual Symposium on Computer Architecture, 1976