Applying a testing approach to the calculus of fair ambients
From MaRDI portal
Publication:5850754
Recommendations
Cites work
- scientific article; zbMATH DE number 1927569 (Why is no real title available?)
- scientific article; zbMATH DE number 1863170 (Why is no real title available?)
- A calculus of mobile processes. I
- Anytime, anywhere: modal logics for mobile ambients
- Bisimulation congruences in safe ambients
- Controlling interference in ambients
- Deriving Structural Labelled Transitions for Mobile Ambients
- Equational properties of mobile ambients
- Fair ambients
- Mobile ambients
- On quasi-open bisimulation
- Testing congruence for mobile processes
- Testing equivalence for mobile processes
- Testing equivalences for processes
- Typing evolving ambients
Cited in
(3)
This page was built for publication: Applying a testing approach to the calculus of fair ambients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850754)