Categorial Semantics of a Solution to Distributed Dining Philosophers Problem

DOI10.1007/978-3-642-14553-7_18MaRDI QIDQ3587349zbMATH OpenOpenAlexFDO

Authors Zhen You, Jinyun Xue, Shi Ying

Publication date 7 September 2010

Published in Frontiers in Algorithmics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-14553-7_18

zbMATH Keywords

categorial semanticscategory theorydistributed dining philosophers problemuniversal constructions

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Distributed systems (68M14) Semantics in the theory of computing (68Q55)

Recommendations

• Enriched categorical semantics for distributed calculi
• Logic-based verification of the distributed dining philosophers protocol
• scientific article; zbMATH DE number 4062569
• scientific article; zbMATH DE number 219260
• scientific article; zbMATH DE number 4039953
• A distributed self-stabilizing solution to the dining philosophers problem
• scientific article; zbMATH DE number 1341604
• An optimal distributed solution to the dining philosphers problem
• scientific article; zbMATH DE number 4050949
• scientific article; zbMATH DE number 4202257

Cited in

(1)

• On the generalized dining philosophers problem

This page was built for publication: Categorial Semantics of a Solution to Distributed Dining Philosophers Problem

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