Communicative Action Notation with Shared Storage
DOI:
https://doi.org/10.7146/dpb.v22i452.6770Abstract
A variation of the Communicative Action Notation is presented, in order to allow the sharing of storage among agents. Examples of use of the new notation are given by means of the description of semaphores, monitors and RPC mechanisms. The operational semantics of the new notation is also presented.Downloads
Published
1993-08-01
How to Cite
Musicante, M., & Mosses, P. D. (1993). Communicative Action Notation with Shared Storage. DAIMI Report Series, 22(452). https://doi.org/10.7146/dpb.v22i452.6770
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.