IEEE - Institute of Electrical and Electronics Engineers, Inc. - Correct composition of distributed systems

Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 31

Author(s): Genssler, T. ; Lowe, W.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: Nanjing, China, China
Conference Date: 22 September 1999
Page(s): 296 - 305
ISBN (Paper): 0-7695-0393-4
DOI: 10.1109/TOOLS.1999.796497
Regular:

This paper argues that functional aspects of a distributed system are to be specified separately from its communication and synchronization aspects. A Petri-net based approach allows to reason... View More

Advertisement