Fair ambients

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

• Applying a testing approach to the calculus of fair ambients
• Fair \(\pi\)
• scientific article; zbMATH DE number 1231618
• On the expressiveness of the \(\pi \)-calculus and the mobile ambients
• scientific article; zbMATH DE number 2038740

zbMATH Keywords

calculus of mobile ambients

Mathematics Subject Classification ID

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)