Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T., Ciaccio G. On unifyng shared variable and handshaking cooperation in processalgebraic specification. Internal note CNUCE-B4-95-015, 1995.
In this work we have illustrated a way to iunify the notion of process communication via shared variables and shared actions (handshaking) at an operational semantics level
Subject Constraint oriented specification
Distributed systems
Formal semantics
C.2.4 Distributed Systems

Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento Private


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional