Variations on mobile processes

DOI10.1016/S0304-3975(99)00037-7MaRDI QIDQ1960530zbMATH OpenOpenAlexFDO

Authors Yuxi Fu

Publication date 12 January 2000

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/s0304-3975(99)00037-7

zbMATH Keywords

process algebrabisimulationconcurrency theorymobile process

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A proof theoretical approach to communication
• A calculus of mobile processes. I
• On mobility and communication
• scientific article; zbMATH DE number 1104017
• scientific article; zbMATH DE number 1104014

Cites work

• scientific article; zbMATH DE number 4099289 (Why is no real title available?)
• scientific article; zbMATH DE number 4103051 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1223723 (Why is no real title available?)
• scientific article; zbMATH DE number 1223724 (Why is no real title available?)
• scientific article; zbMATH DE number 1333606 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 785050 (Why is no real title available?)
• scientific article; zbMATH DE number 910713 (Why is no real title available?)
• scientific article; zbMATH DE number 3344729 (Why is no real title available?)
• *-Autonomous categories and linear logic
• A calculus of mobile processes. II
• A proof theoretical approach to communication
• A theory of bisimulation for the -calculus
• A theory of higher order communicating systems
• Algebraic theories for name-passing calculi
• Asynchronous process calculi: The first- and higher-order paradigms
• Barbed bisimulation
• Calculi for interaction
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Complete inference systems for weak bisimulation equivalences in the \(\pi\)-calculus
• Computational interpretations of linear logic
• From \(\pi \)-calculus to higher-order \(\pi \)-calculus -- and back
• Functions as processes
• Interaction combinators
• Linear logic
• Objects in the \(\pi\)-calculus
• On bisimulations for the asynchronous π-calculus
• On reduction-based process semantics
• On the \(\pi\)-calculus and linear logic
• On the expressiveness of internal mobility in name-passing calculi
• Plain CHOCS. A second generation calculus for higher order processes
• Proofs as processes
• Reaction graph
• Symbolic bisimulations
• Symmetric \(\pi\)-calculus
• The Universe of Set Theory
• The chemical abstract machine
• The lambda calculus, its syntax and semantics
• The lazy lambda calculus in a concurrency scenario
• \(\pi\)-calculus semantics of object-oriented programming languages
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

Cited in

(19)

• Understanding the mismatch combinator in chi calculus
• Testing congruence for mobile processes
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• A functional presentation of pi calculus
• A proof theoretical approach to communication
• scientific article; zbMATH DE number 1512624 (Why is no real title available?)
• A calculus of mobile processes. II
• A categorical model of the fusion calculus
• Mobile objects as mobile processes
• Tau laws for pi calculus
• A pure labeled transition semantics for the applied pi calculus
• Fair ambients
• On the relative expressiveness of higher-order session processes
• On the relative expressiveness of higher-order session processes
• Observing asymmetry and mismatch.
• Bisimulation congruence of -calculus
• The \(\lambda \)-calculus in the \(\pi \)-calculus
• Meta model of concurrent computation. III: Bisimulation lattice
• Theory of interaction

This page was built for publication: Variations on mobile processes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1960530)