scientific article; zbMATH DE number 7204939

DOI10.4230/LIPICS.CONCUR.2017.22zbMATH Open1442.68140MaRDI QIDQ5111635FDOQ5111635

Yuxi Fu

Publication date: 27 May 2020

Title of this publication is not available (Why is that?)

zbMATH Keywords

expressivenessbisimulationinteraction theory

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Functions as processes
• The lambda calculus. Its syntax and semantics. Rev. ed.
• A calculus of mobile processes. I
• The \(\pi\)-calculus: A theory of mobile processes
• Barbed bisimulation
• \(\pi\)-calculus, internal mobility, and agent-passing calculi
• An introduction to the \(\pi\)-calculus.
• Expressiveness of process algebras
• On the expressiveness of interaction
• A theory of higher order communicating systems
• Symbolic bisimulations
• From π-calculus to higher-order π-calculus — and back
• A theory of communicating processes with value passing
• What is a ``good encoding of guarded choice?
• The Value-Passing Calculus
• Title not available (Why is that?)
• Title not available (Why is that?)
• Non-deterministic structures of computation
• Theory of interaction
• Objects in the \(\pi\)-calculus
• Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
• Distinguishing and relating higher-order and first-order processes by expressiveness
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• Title not available (Why is that?)
• A thesis for interaction

Cited In (3)

• Extensional Petri net
• On the Power of Attribute-Based Communication
• A thesis for interaction

This page was built for publication:

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