An investigation of controls for concurrent systems based on abstract control languages
- 31 December 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 38, 193-222
- https://doi.org/10.1016/0304-3975(85)90220-8
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Controlling behaviours of systems : Some basic concepts and some applicationsPublished by Springer Nature ,2005
- Infinite behaviour and fairness in petri netsPublished by Springer Nature ,1985
- Control of Petri Nets by Finite AutomataFundamenta Informaticae, 1983
- Are infinite behaviours of parallel system schemata necessary?Published by Springer Nature ,1983
- Decidability of reachability in vector addition systems (Preliminary Version)Published by Association for Computing Machinery (ACM) ,1982
- Petri nets and regular languagesJournal of Computer and System Sciences, 1981
- On the algorithmic properties of concurrent programsPublished by Springer Nature ,1981
- Impartiality, justice and fairness: The ethics of concurrent terminationPublished by Springer Nature ,1981
- The recursive equivalence of the reachability problem and the liveness problem for Petri nets and vector addition systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1974