Elementary transition systems
DOI:
https://doi.org/10.7146/dpb.v19i310.6701Abstract
Transition systems are a simple and powerful formalism for explaining the operational behaviour of models of concurrency. They provide a common framework for investigating the interrelationships between different approaches to the study of distributed systems. Hence an important question to be answered is: which subclass of transition systems corresponds to a particular model of distributed systems? In this paper we provide an answer to this question for elementary net systems.
Downloads
Published
1990-04-01
How to Cite
Nielsen, M., Rozenberg, G., & Thiagarajan, P. S. (1990). Elementary transition systems. DAIMI Report Series, 19(310). https://doi.org/10.7146/dpb.v19i310.6701
Issue
Section
Articles
License
Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.