scientific article; zbMATH DE number 1543081

zbMATH Open0960.68116MaRDI QIDQ4520537FDOQ4520537

Authors: Padmanabhan Krishnan 

Publication date: 26 February 2001

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

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

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 \(\pi\)-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

zbMATH Keywords

process algebra

Mathematics Subject Classification ID

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

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)