In: Proceedings of the Second International Symposium on Databases in Parallel and Distributed Systems, pages 160-170. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: The JOYCE+ model for multisite distributed systems is presented, and the operational semantics of the asynchronous communication between processes is illustrated with Petri Nets. The syntax of the JOYCE+ language is presented in terms of the Guarded Commands language.
Keywords: JOYCE+, (language for) distributed system; operational semantics; guarded command.