Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Standardisation of Formal Description Techniques for Communication Protocols (Invited Paper).. IFIP Congress, page 321-328. North-Holland/IFIP, (1986)FDTs for open distributed systems, a retrospective and a prospective view.. PSTV, page 341-362. North-Holland, (1990)A Business Process Design Language., , , , and . World Congress on Formal Methods, volume 1708 of Lecture Notes in Computer Science, page 76-95. Springer, (1999)Networks Interconnections - An Architectural Reference Model., , , , , and . Kommunikation in Verteilten Systemen (1), volume 95 of Informatik-Fachberichte, page 338-353. Springer, (1985)Reference Models for Advanced E-Services., , and . I3E, volume 139 of IFIP, page 369-393. Kluwer/Springer, (2003)Lotos in Practice., , and . IFIP Congress, page 869-876. North-Holland/IFIP, (1986)On the Role of Basic Design Concepts in Behaviour Structuring., , , , and . Comput. Networks ISDN Syst., 29 (4): 413-436 (1997)SEDOS: Designing Open Distributed Systems., and . IEEE Softw., 6 (6): 24-33 (1989)Issues in design methodologies for distributed information systems., and . Methods and Associated Tools for the Information Systems Life Cycle, volume A-55 of IFIP Transactions, page 195-208. Elsevier, (1994)Protocol Design and Implementation Using Formal Methods., , and . Comput. J., 35 (5): 478-491 (1992)