Trapping mutual exclusion in the box calculus

DOI10.1016/0304-3975(95)00119-0zbMATH Open0872.68133OpenAlexW2069672317WikidataQ127807765 ScholiaQ127807765MaRDI QIDQ672869FDOQ672869

Authors: Javier Esparza, Glenn Bruns 

Publication date: 28 February 1997

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(95)00119-0

Recommendations

• Compositional process semantics of Petri Boxes
• The box algebra = Petri nets + process expressions
• scientific article; zbMATH DE number 1501606
• scientific article; zbMATH DE number 2064221
• Analysing mutual exclusion using process algebra with signals

zbMATH Keywords

verificationprocess algebrabox calculusmutual exclusion algorithmsPetri net semanticstranslation of parallel programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Deadlocks and traps in Petri nets as Horn-satisfiability solutions and some related polynomially solvable problems
• 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?)
• Local model checking in the modal mu-calculus
• Title not available (Why is that?)
• A distributed operational semantics of CCS based on condition/event systems
• Title not available (Why is that?)
• Structure matrices for Petri nets and their applications
• Title not available (Why is that?)
• Title not available (Why is that?)
• Advances in Petri nets 1992
• Automated analysis of mutual exclusion algorithms using CCS

Cited In (7)

• Mutex needs fairness
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• Modelling mutual exclusion in a process algebra with time-outs
• The mutex paradigm of concurrency
• Model checking LTL using constraint programming
• Hume box calculus: Robust system development through software transformation
• Title not available (Why is that?)

This page was built for publication: Trapping mutual exclusion in the box calculus

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