Synchronized behaviours of processes and rational relations
From MaRDI portal
Publication:1161282
DOI10.1007/BF00262973zbMath0478.68027MaRDI QIDQ1161282
Publication date: 1982
Published in: Acta Informatica (Search for Journal in Brave)
68N25: Theory of operating systems
Related Items
The intersection problem for alphabetic vector monoids, Step failures semantics and a complete proof system, Restrictions and representations of vector controlled concurrent system behaviours, A Theory for the Composition of Concurrent Processes