𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Old algebra textbooks: a resource for modern teaching

✍ Scribed by Frejd, Peter


Book ID
118737962
Publisher
Taylor and Francis Group
Year
2013
Tongue
English
Weight
961 KB
Volume
28
Category
Article
ISSN
1749-8430

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A truly concurrent semantics for a proce
✍ 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