default search action
Chris A. Vissers
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2016
- [b1]Chris A. Vissers, Luís Ferreira Pires
, Dick A. C. Quartel, Marten van Sinderen:
Architectural Design - Conception and Specification of Interactive Systems. Springer 2016, ISBN 978-3-319-43297-7, pp. 1-388
2000 – 2009
- 2003
- [c14]Chris A. Vissers, Marc M. Lankhorst, Robert Slagter:
Reference Models for Advanced E-Services. I3E 2003: 369-393
1990 – 1999
- 1999
- [c13]Henk Eertink, Wil Janssen, Paul Oude Luttighuis, Wouter B. Teeuw
A Business Process Design Language. World Congress on Formal Methods 1999: 76-95 - 1997
- [j7]Dick A. C. Quartel, Luís Ferreira Pires
On the Role of Basic Design Concepts in Behaviour Structuring. Comput. Networks ISDN Syst. 29(4): 413-436 (1997) - 1995
- [j6]Marten van Sinderen, Luís Ferreira Pires
A Design Model for Open Distributed Processing Systems. Comput. Networks ISDN Syst. 27(8): 1263-1285 (1995) - [c12]Dick A. C. Quartel, Luís Ferreira Pires
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
Protocol Design and Implementation Using Formal Methods. Comput. J. 35(5): 478-491 (1992) - 1991
- [j4]Ed Brinksma, Giuseppe Scollo
Introduction to the PSTV-IX. Comput. Networks ISDN Syst. 22(1): 1-6 (1991) - [j3]Chris A. Vissers, Giuseppe Scollo
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:
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 [contents]
1980 – 1989
- 1989
- [j2]Michael Diaz, Chris A. Vissers:
SEDOS: Designing Open Distributed Systems. IEEE Softw. 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. Comput. Commun. Rev. 14(2): 178-185 (1984)
1970 – 1979
- 1976
- [c1]Chris A. Vissers:
Interface, A Dispersed Architecture. ISCA 1976: 98-104
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: