Fairness and partial order semantics

DOI10.1016/0020-0190(95)00049-IMaRDI QIDQ672492zbMATH OpenFDO

Authors 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)

Recommendations

• scientific article; zbMATH DE number 3963175
• scientific article; zbMATH DE number 39877
• Abstract fairness and semantics
• Event fairness and non-interleaving concurrency

Cites work

• scientific article; zbMATH DE number 3963175 (Why is no real title available?)
• scientific article; zbMATH DE number 3972158 (Why is no real title available?)
• scientific article; zbMATH DE number 4087033 (Why is no real title available?)
• scientific article; zbMATH DE number 3735177 (Why is no real title available?)
• scientific article; zbMATH DE number 48517 (Why is no real title available?)
• scientific article; zbMATH DE number 1988986 (Why is no real title available?)
• scientific article; zbMATH DE number 3795366 (Why is no real title available?)
• scientific article; zbMATH DE number 827980 (Why is no real title available?)
• Betweenness, orders and interval graphs
• Modular construction and partial order semantics of Petri nets

Cited in

(12)

• Abstract fairness and semantics
• Concurrency in Boolean networks
• Efficiency of asynchronous systems and read arcs in petri nets
• Term Rewriting and Applications
• Mutex needs fairness
• scientific article; zbMATH DE number 3963175 (Why is no real title available?)
• A Fixpoint Semantics of Event Systems With and Without Fairness Assumptions
• Non-atomic transition firing in contextual nets
• Efficiency of asynchronous systems, read arcs, and the MUTEX-problem
• scientific article; zbMATH DE number 3921985 (Why is no real title available?)
• scientific article; zbMATH DE number 39877 (Why is no real title available?)
• scientific article; zbMATH DE number 1995134 (Why is no real title available?)

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)