Fair ambients
From MaRDI portal
Publication:877172
DOI10.1007/S00236-007-0038-ZzbMATH Open1111.68082OpenAlexW2912565202MaRDI QIDQ877172FDOQ877172
Authors: Yuxi Fu
Publication date: 19 April 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-007-0038-z
Recommendations
Theory of software (68N99) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- BioAmbients: an abstraction for biological compartments
- Title not available (Why is that?)
- Functions as processes
- Brane Calculi
- Bisimulation for higher-order process calculi
- The lambda calculus. Its syntax and semantics. Rev. ed.
- A calculus of mobile processes. I
- The \(\pi\)-calculus: A theory of mobile processes
- Mobile ambients
- On the computational strength of pure ambient calculi
- Anytime, anywhere
- A theory of bisimulation for the \(\pi\)-calculus
- Tau laws for pi calculus
- Title not available (Why is that?)
- On quasi-open bisimulation
- Bisimulation congruence of \(\chi\)-calculus
- Variations on mobile processes
- On the Expressiveness of Pure Mobile Ambients
- Bisimulation congruences in safe ambients
- The lazy lambda calculus in a concurrency scenario
- On the expressive power of movement and restriction in pure mobile ambients
- Equational properties of mobile ambients
- Foundations of Software Science and Computation Structures
- Title not available (Why is that?)
- Controlling interference in ambients
- Typing evolving ambients
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
Cited In (6)
- On the expressiveness of interaction
- Parameterizing higher-order processes on names and processes
- A pure labeled transition semantics for the applied pi calculus
- Applying a testing approach to the calculus of fair ambients
- Deriving structural labelled transitions for mobile ambients
- Theory of interaction
This page was built for publication: Fair ambients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877172)