Pages that link to "Item:Q4917025"
From MaRDI portal
The following pages link to The Two-Phase Commitment Protocol in an Extended π-Calculus (Q4917025):
Displaying 10 items.
- Value-passing CCS with noisy channels (Q428864) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- A pi-calculus based semantics for WS-BPEL (Q861305) (← links)
- A timed semantics of Orc (Q935476) (← links)
- Expired data collection in shared dataspaces. (Q1874282) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- A process algebraic view of shared dataspace coordination (Q2474048) (← links)
- \(\pi\)-calculus with noisy channels (Q2570971) (← links)
- Safety versus Security in the Quality Calculus (Q2842642) (← links)
- A model of actors and grey failures (Q6137831) (← links)
