PUMA
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.
 
 
Abstract
(English)
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