TY  - JOUR
Y1  - 2000///
JF  - Theoretical Computer Science
IS  - 1-2
PB  - Elsevier
A1  - De Nicola, Rocco
A1  - Pugliese, Rosario
SP  - 389
VL  - 238
KW  - Concurrency; Asynchronous communications; Process algebras; Formal semantics
AV  - none
TI  - Linda-based applicative and imperative process algebras
UR  - http://www.sciencedirect.com/science/article/pii/S0304397599003394
SN  - 0304-3975
N2  - The classical algebraic approach to the specification and verification of concurrent systems is tuned to distributed programs that rely on asynchronous communications and permit explicit data exchange. An applicative process algebra, obtained by embedding the Linda primitives for interprocess communication in a CCS/CSP-like language, and an imperative one, obtained from the applicative variant by adding a construct for explicit assignment of values to variables, are introduced. The testing framework is used to define behavioural equivalences for both languages and sound and complete proof systems for them are described together with a fully abstract denotational model (namely, a variant of Strong Acceptance Trees).
ID  - eprints337
EP  - 437
ER  -