Fairness and partial order semantics
From MaRDI portal
Publication:672492
DOI10.1016/0020-0190(95)00049-IzbMath0875.68622MaRDI QIDQ672492
Publication date: 28 February 1997
Published in: Information Processing Letters (Search for Journal in Brave)
Related Items
Mutex needs fairness ⋮ Efficiency of asynchronous systems and read arcs in petri nets ⋮ Non-atomic Transition Firing in Contextual Nets ⋮ Concurrency in Boolean networks ⋮ Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
Cites Work