Titlebook: Structures in Concurrency Theory; Proceedings of the I Jörg Desel Conference proceedings 1995 British Computer Society 1995 algebra.calculu

不合

An Observational Semantics for Linda,ramework of process algebras. A two-level semantics for L is provided: an operational one in Plotkin’s style, based on a ., and an observational one, based on three ., obtained by applying the . to L.

宫殿般

承认

Ingrained

Conformance: A Precongruence close to Bisimilarity,he elaboration preorder, which is finer than observational equivalence. Further, this preorder is incomparable with the almost-weak bisimulation preorder of Sangiorgi and Milner. In particular, the elaboration preorder is preserved under all contexts except summation. The largest precongruence conta

Exonerate

comely

拍翅

Heart-Attack

AGONY

An Observational Semantics for Linda, data space. To write programs manipulating data, it is necessary to embed Linda in a (functional, imperative, logic, etc.) programming language; this leads to a family of languages based on Linda. We define syntax and semantics for a member of the Linda family, L, that is obtained by embedding Lind

orthodox