scientific article; zbMATH DE number 1404761

MaRDI QIDQ4938162zbMATH OpenFDO

Authors Clemens H. Cap

Publication date 22 February 2000

zbMATH Keywords

category theorylinear logicprocess theorytransition systems

Mathematics Subject Classification ID

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

Recommendations

• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.
• scientific article; zbMATH DE number 4039251
• scientific article; zbMATH DE number 42752
• The -calculus: A theory of mobile processes
• Process Algebra

Cited in

(2)

• Dag-calculus: a calculus for parallel computation
• Process Algebra for Parallel and Distributed Processing

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