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

On unifyng shared variable and handshaking cooperation in processalgebraic specification

Bolognesi T;
1995

Abstract

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
1995
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Constraint oriented specification
Distributed systems
Formal semantics
Distributed Systems
File in questo prodotto:
File Dimensione Formato  
prod_411831-doc_144996.pdf

accesso aperto

Descrizione: On unifyng shared variable and handshaking cooperation in processalgebraic specification
Dimensione 589.21 kB
Formato Adobe PDF
589.21 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/20.500.14243/363108
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact