Inevitability in concurrent systems
From MaRDI portal
Publication:1107977
DOI10.1016/0020-0190(87)90164-5zbMath0653.68011OpenAlexW2029123368MaRDI QIDQ1107977
Publication date: 1987
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0020-0190(87)90164-5
Partial orders, general (06A06) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25)
Related Items (5)
Detecting causal relationships in distributed computations: In search of the holy grail ⋮ Inevitability in diamond processes ⋮ Concurrent systems and inevitability ⋮ Inventories of unavoidable languages and the word-extension conjecture ⋮ Unavoidable languages, cuts and innocent sets of words
Cites Work
This page was built for publication: Inevitability in concurrent systems