Pages that link to "Item:Q2491642"
From MaRDI portal
The following pages link to Leader election in rings of ambient processes (Q2491642):
Displayed 12 items.
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← 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)
- Matching Systems for Concurrent Calculi (Q2864374) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)