𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Process fairness and dynamic consistency

✍ Scribed by Stefan T. Trautmann; Peter P. Wakker


Book ID
116422700
Publisher
Elsevier Science
Year
2010
Tongue
English
Weight
210 KB
Volume
109
Category
Article
ISSN
0165-1765

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Dynamic consistency in process algebra:
✍ S. Andova; L.P.J. Groenewegen; E.P. de Vink πŸ“‚ Article πŸ“… 2011 πŸ› Elsevier Science 🌐 English βš– 820 KB

The coordination modelling language Paradigm addresses collaboration between components in terms of dynamic constraints. Within a Paradigm model, component dynamics are consistently specified at various levels of abstraction. The operational semantics of Paradigm is given. For a large, general subcl

Dynamic consistency and monopoly
✍ Gregory E. Goering; Michael K. Pippenger πŸ“‚ Article πŸ“… 2003 πŸ› Springer US 🌐 English βš– 567 KB