Communicative Action Notation with Shared Storage

Martin Musicante; Peter D. Mosses

doi:10.7146/dpb.v22i452.6770

Communicative Action Notation with Shared Storage

Forfattere

Martin Musicante
Peter D. Mosses

DOI:

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

Resumé

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.

Forfatterbiografier

Martin Musicante

Peter D. Mosses

Downloads

PDF (English)

Publiceret

1993-08-01

Citation/Eksport

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