Separation Results Via Leader Election Problems

DOI10.1007/11804192_9MaRDI QIDQ3591393zbMATH OpenOpenAlexFDO

Authors Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi

Publication date 11 September 2007

Published in Formal Methods for Components and Objects (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00201124/file/fmco-06.pdf

Mathematics Subject Classification ID

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

Recommendations

• Tutorial on separation results in process calculi via leader election problems
• Leader election in rings of ambient processes
• Leader election in rings of ambient processes
• Symmetric electoral systems for ambient calculi
• Foundations of Software Science and Computation Structures

Cited in

(8)

• On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes
• Tutorial on separation results in process calculi via leader election problems
• Symmetric electoral systems for ambient calculi
• Leader election in rings of ambient processes
• The expressive power of monotonic parallel composition
• Leader election in rings of ambient processes
• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• Breaking symmetries

This page was built for publication: Separation Results Via Leader Election Problems

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