For the most recent entries see the Petri Nets Newsletter.

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

Franky, M.C.

In: Agrawal, R.; et al.: Proceedings of the Second International Symposium on Databases in Parallel and Distributed Systems, 1990, Dublin, Ireland, pages 160-170. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 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 and the expressive power of the JOYCE+ language in distributed synchronization problems with timeout handling is illustrated through examples.

Keywords: JOYCE+, (model and) language (for) multi-site distributed systems; operational semantics (of) communication (illustrated with) net(s).

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

Back to the Petri Nets Bibliography