Pages that link to "Item:Q2491642"
From MaRDI portal
The following pages link to Leader election in rings of ambient processes (Q2491642):
Displaying 16 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Electing a leader in a ring with link failures (Q1075046) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- CCS with priority guards (Q2474050) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- Leader election in rings of ambient processes (Q2848143) (← links)
- Matching systems for concurrent calculi (Q2864374) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- Foundations of Software Science and Computation Structures (Q5308465) (← links)
- Leader election: a Markov chain approach (Q5357641) (← links)