Communicative Action Notation with Shared Storage

Martin Musicante; Peter D. Mosses

doi:10.7146/dpb.v22i452.6770

Communicative Action Notation with Shared Storage

Authors

Martin Musicante
Peter D. Mosses

DOI:

https://doi.org/10.7146/dpb.v22i452.6770

Abstract

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.

Author Biographies

Martin Musicante

Peter D. Mosses

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