The following pages link to (Q2734510):
Displaying 9 items.
- On the analysis of compensation correctness (Q444367) (← links)
- A calculus of quality for robustness against unreliable communication (Q492911) (← links)
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- Multiset rewriting for the verification of depth-bounded processes with name binding (Q714507) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- An ``abstract process'' approach to algebraic dynamic architecture description (Q1779318) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← links)
