Pages that link to "Item:Q4571978"
From MaRDI portal
The following pages link to Distributed processes and location failures (Q4571978):
Displayed 5 items.
- The Two-Phase Commitment Protocol in an Extended π-Calculus (Q4917025) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)
- (Q5015358) (← links)
- A model of actors and grey failures (Q6137831) (← links)