scientific article; zbMATH DE number 1543081

MaRDI QIDQ4520537zbMATH OpenFDO

Authors Padmanabhan Krishnan

Publication date 26 February 2001

Full work available at URL http://www.jucs.org/jucs_3_12/an_asynchronous_calculus_based

zbMATH Keywords

process algebra

Mathematics Subject Classification ID

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

Recommendations

• On the Asynchronous Nature of the Asynchronous π-Calculus
• A hierarchy of equivalences for asynchronous calculi
• scientific article; zbMATH DE number 522837
• scientific article; zbMATH DE number 1223738
• A synchronous -calculus
• CONCUR 2005 – Concurrency Theory
• A coinductive calculus for asynchronous side-effecting processes
• A coinductive calculus for asynchronous side-effecting processes
• Asynchronous process calculi: The first- and higher-order paradigms
• scientific article; zbMATH DE number 1223739

Cited in

(3)

• Asynchronous process calculi: The first- and higher-order paradigms
• A hierarchy of equivalences for asynchronous calculi
• An agent calculus with simple actions where the enabling and disabling are derived operators

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 Q4520537)