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).