Exposing latent mutual exclusion by work automata

DOI10.1007/978-3-319-68953-1_6MaRDI QIDQ1698757zbMATH OpenOpenAlexFDO

Authors Kasper Dokter, Farhad Arbab

Publication date 16 February 2018

Full work available at URL https://ir.cwi.nl/pub/27035

Mathematics Subject Classification ID

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

Recommendations

• The mutual exclusion problem
• scientific article; zbMATH DE number 125889
• Representation of computations in concurrent automata by dependence orders
• The mutual exclusion problem. I: A theory of interprocess communication
• Automated analysis of mutual exclusion algorithms using CCS

Cited in

(1)

• Protocol scheduling

This page was built for publication: Exposing latent mutual exclusion by work automata

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