scientific article; zbMATH DE number 1927585

MaRDI QIDQ4484510zbMATH OpenFDO

Authors H. Völzer

Publication date 12 June 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2421/24210547.htm

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4037221
• \(B\)-fairness and structural \(B\)-fairness in Petri net models of concurrent systems
• On ethics of Mazurkiewicz traces
• Marking fairness in Petri nets
• scientific article; zbMATH DE number 4024804

Cited in

(1)

• Generating non-conspiratorial executions

This page was built for publication:

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