An algebra of concurrent non-deterministic processes

DOI10.1016/0304-3975(91)90304-KzbMath0735.68027OpenAlexW2010690522MaRDI QIDQ1179704

Ludmila A. Cherkasova, Vadim E. Kotov

Publication date: 26 June 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(91)90304-k

zbMATH Keywords

concurrencynondeterminismfinite processes

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Related Items (1)

Nested-unit Petri nets

Cites Work

• Modeling concurrency with partial orders
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• A Theory of Communicating Sequential Processes
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An algebra of concurrent non-deterministic processes