Fairness and partial order semantics

DOI10.1016/0020-0190(95)00049-IzbMATH Open0875.68622MaRDI QIDQ672492FDOQ672492

Walter Vogler

Publication date: 28 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

zbMATH Keywords

Petri netsConcurrent systemsFairnessPartial order semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Betweenness, orders and interval graphs
• Modular construction and partial order semantics of Petri nets
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Abstract fairness and semantics
• Concurrency in Boolean networks
• Efficiency of asynchronous systems and read arcs in petri nets
• Mutex needs fairness
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• Title not available (Why is that?)
• Non-atomic Transition Firing in Contextual Nets

This page was built for publication: Fairness and partial order semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q672492)