Search the dblp DataBase
Chris A. Vissers :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Henk Eertink , Wil Janssen , Paul Oude Luttighuis , Wouter B. Teeuw , Chris A. Vissers A Business Process Design Language. [Citation Graph (0, 0)][DBLP ] World Congress on Formal Methods, 1999, pp:76-95 [Conf ] Dick A. C. Quartel , Luís Ferreira Pires , Henry M. Franken , Chris A. Vissers An Engineering Approach towards Action Refinement. [Citation Graph (0, 0)][DBLP ] FTDCS, 1995, pp:266-273 [Conf ] Chris A. Vissers , Marc M. Lankhorst , Robert Slagter Reference Models for Advanced E-Services. [Citation Graph (0, 0)][DBLP ] I3E, 2003, pp:369-393 [Conf ] Chris A. Vissers , Giuseppe Scollo Formal Specification in OSI. [Citation Graph (0, 0)][DBLP ] Networking in Open Systems, 1986, pp:338-359 [Conf ] Giuseppe Scollo , Chris A. Vissers , Antonella Di Stefano Lotos in Practice. [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:869-876 [Conf ] Chris A. Vissers Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper). [Citation Graph (0, 0)][DBLP ] IFIP Congress, 1986, pp:321-328 [Conf ] Mark K. de Weger , Chris A. Vissers Issues in design methodologies for distributed information systems. [Citation Graph (0, 0)][DBLP ] Methods and Associated Tools for the Information Systems Life Cycle, 1994, pp:195-208 [Conf ] Chris A. Vissers Interface, A Dispersed Architecture. [Citation Graph (0, 0)][DBLP ] ISCA, 1976, pp:98-104 [Conf ] Berthold Butscher , Luciano Lenzini , R. Morling , Chris A. Vissers , Radu Popescu-Zeletin , Marten van Sinderen Networks Interconnections - An Architectural Reference Model. [Citation Graph (0, 0)][DBLP ] Kommunikation in Verteilten Systemen (1), 1985, pp:338-353 [Conf ] Chris A. Vissers Report on the Architectural Semantics Workshop. [Citation Graph (0, 0)][DBLP ] Open Distributed Processing, 1993, pp:367-386 [Conf ] Chris A. Vissers FDTs for open distributed systems, a retrospective and a prospective view. [Citation Graph (0, 0)][DBLP ] PSTV, 1990, pp:341-362 [Conf ] Chris A. Vissers , Luigi Logrippo The importance of the service concept in the design of data communications protocols. [Citation Graph (0, 0)][DBLP ] PSTV, 1985, pp:3-17 [Conf ] Chris A. Vissers , Marten van Sinderen , Luís Ferreira Pires What Makes Industries Believe in Formal Methods. [Citation Graph (0, 0)][DBLP ] PSTV, 1993, pp:3-26 [Conf ] Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma On the Use of Specifiation Styles in the Design of Distributed Systems (Abstract). [Citation Graph (0, 0)][DBLP ] TAPSOFT, Vol.2, 1989, pp:60- [Conf ] Ignas G. Niemegeers , Chris A. Vissers Twentenet: A LAN with message priorities, design and performance considerations. [Citation Graph (0, 0)][DBLP ] Computer Communication Review, 1984, v:14, n:2, pp:178-185 [Journal ] Marten van Sinderen , Luís Ferreira Pires , Chris A. Vissers Protocol Design and Implementation Using Formal Methods. [Citation Graph (0, 0)][DBLP ] Comput. J., 1992, v:35, n:5, pp:478-491 [Journal ] Ed Brinksma , Giuseppe Scollo , Chris A. Vissers Introduction to the PSTV-IX. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1991, v:22, n:1, pp:1-6 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1997, v:29, n:4, pp:413-436 [Journal ] Marten van Sinderen , Luís Ferreira Pires , Chris A. Vissers , Joost-Pieter Katoen A Design Model for Open Distributed Processing Systems. [Citation Graph (0, 0)][DBLP ] Computer Networks and ISDN Systems, 1995, v:27, n:8, pp:1263-1285 [Journal ] Michael Diaz , Chris A. Vissers SEDOS: Designing Open Distributed Systems. [Citation Graph (0, 0)][DBLP ] IEEE Software, 1989, v:6, n:6, pp:24-33 [Journal ] Chris A. Vissers , Giuseppe Scollo , Marten van Sinderen , Ed Brinksma Specification Styles in Distributed Systems Design and Verification. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1991, v:89, n:1, pp:179-206 [Journal ] Search in 0.002secs, Finished in 0.305secs