Pages that link to "Item:Q1198549"
From MaRDI portal
The following pages link to A calculus of mobile processes. II (Q1198549):
Displaying 13 items.
- Static slicing of explicitly synchronized languages (Q418185) (← links)
- On the analysis of compensation correctness (Q444367) (← links)
- Aeolus: a component model for the cloud (Q476172) (← links)
- A timed calculus for wireless systems (Q650891) (← links)
- An observational theory for mobile ad hoc networks (full version) (Q1012124) (← links)
- Proofs as processes (Q1342245) (← links)
- Mobile ambients (Q1575154) (← links)
- Application of a stochastic name-passing calculus to representation and simulation of molecular processes (Q1607114) (← links)
- A calculus for reasoning about software composition (Q1770365) (← links)
- A calculus for collective-adaptive systems and its behavioural theory (Q2272994) (← links)
- Basic observables for a calculus for global computing (Q2384924) (← 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)
