Pages that link to "Item:Q1350347"
From MaRDI portal
The following pages link to On reduction-based process semantics (Q1350347):
Displaying 7 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← 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)
- Channel abstractions for network security (Q3550700) (← links)
