For the most recent entries see the Petri Nets Newsletter.

JOYCE+: Model and Language for Multi-Site Distributed Systems.

Franky, Mari Consuelo

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography