𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Locality based semantics for process algebras

✍ Scribed by Flavio Corradini; Rocco De Nicola

Publisher
Springer-Verlag
Year
1997
Tongue
English
Weight
404 KB
Volume
34
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Semantics for Algebraic Operations
Semantics for Algebraic Operations
✍ Gordon Plotkin; John Power πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 170 KB

Given a category C with finite products and a strong monad T on C, we investigate axioms under which an ObC-indexed family of operations of the form Ξ± x : (T x) n -β†’ T x provides a definitive semantics for algebraic operations added to the computational Ξ»-calculus. We recall a definition for which w

An algebraic semantics for MOF
An algebraic semantics for MOF
✍ Artur Boronat; JosΓ© Meseguer πŸ“‚ Article πŸ“… 2010 πŸ› Springer 🌐 English βš– 838 KB
A truly concurrent semantics for a proce
A truly concurrent semantics for a process algebra using resource pomsets
✍ Paul Gastin; Michael Mislove πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 498 KB

In this paper we study a process algebra whose semantics is based on true concurrency. In our model, actions are deΓΏned in terms of the resources they need to execute, which allows a simple deΓΏnition of a weak sequential composition operator. This operator allows actions which do not share any resou