A formal semantics for concurrent systems with a priority relation
- 1 February 1987
- journal article
- Published by Springer Nature in Acta Informatica
- Vol. 24 (1) , 33-55
- https://doi.org/10.1007/bf00290705
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Maximally concurrent evolution of non-sequential systemsPublished by Springer Nature ,1985
- Calculi for synchrony and asynchronyTheoretical Computer Science, 1983
- Adequacy properties of path programsTheoretical Computer Science, 1982
- COSY ? a system specification language based on paths and processesActa Informatica, 1979
- Abstract specification of resource accessing disciplinesACM SIGPLAN Notices, 1978
- Formal semantics of a class of high-level primitives for coordinating concurrent processesActa Informatica, 1975
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971
- Sur l'extension de l'ordre partielFundamenta Mathematicae, 1930