Simulation Preorder on Simple Process Algebras

• Authors: KUČERA Antonín; MAYR Richard
• Year of publication: 1999
• Type: Article in Proceedings
• Conference: Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99)
• MU Faculty or unit: Faculty of Informatics
• Citation: KUČERA, Antonín and Richard MAYR. Simulation Preorder on Simple Process Algebras. J. Wiedermann, P. van Emde Boas, M. Nielsen (Eds.). In Proceedings of 26th International Colloquium on Automata, Languages and Programming (ICALP'99). Berlin: Springer, 1999, p. 503-512. Lecture Notes in Computer Science, vol. 1644. ISBN 3-540-66224-3.
• Field: Computer hardware and software
• Keywords: concurrency; simulation; infinite-state systems

Related projects

• (Un)decidable Problems in Process Algebras
• Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing