Inevitability in concurrent systems

DOI10.1016/0020-0190(87)90164-5zbMath0653.68011OpenAlexW2029123368MaRDI QIDQ1107977

Edward Ochmański

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

zbMATH Keywords

concurrent systemspartially ordered setsPetri netinevitabilityconcurrent process

Mathematics Subject Classification ID

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

• Unnamed Item
• Unnamed Item

This page was built for publication: Inevitability in concurrent systems