A note on transition systems
- 31 December 1976
- journal article
- Published by Elsevier in Information Sciences
- Vol. 10 (4), 347-362
- https://doi.org/10.1016/0020-0255(76)90054-2
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Some Deadlock Properties of Computer SystemsACM Computing Surveys, 1972
- Marked directed graphsJournal of Computer and System Sciences, 1971
- Parallel program schemataJournal of Computer and System Sciences, 1969
- Properties of a Model for Parallel Computations: Determinacy, Termination, QueueingSIAM Journal on Applied Mathematics, 1966
- On Context-Free LanguagesJournal of the ACM, 1966