Synchronized behaviours of processes and rational relations

DOI10.1007/BF00262973zbMath0478.68027OpenAlexW2012067925MaRDI QIDQ1161282

André Arnold

Publication date: 1982

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00262973

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (5)

Restrictions and representations of vector controlled concurrent system behaviours ⋮ Compositional equivalences based on open pNets ⋮ The intersection problem for alphabetic vector monoids ⋮ Step failures semantics and a complete proof system ⋮ A Theory for the Composition of Concurrent Processes

This page was built for publication: Synchronized behaviours of processes and rational relations