scientific article; zbMATH DE number 1231597

MaRDI QIDQ4222918zbMATH OpenFDO

Authors Thomas Gehrke, Arend Rensink

Publication date 21 December 1998

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume7.htm#gehrkerensink

zbMATH Keywords

bisimulation equivalenceprocess calculus

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• A calculus of mobile processes. I
• A higher-order distributed calculus with name creation
• Algebraic theories for name-passing calculi
• \(\pi\)-calculus, internal mobility, and agent-passing calculi

Cited in

(6)

• A congruence rule format for name-passing process calculi
• Process algebra with strategic interleaving
• A higher-order distributed calculus with name creation
• Topological Self-Stabilization with Name-Passing Process Calculi
• scientific article; zbMATH DE number 7167779 (Why is no real title available?)
• Revisiting sequential composition in process calculi

Describes a project that uses

Uses Software

• Facile

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