Theory by process

DOI10.1007/978-3-642-15375-4_28zbMATH Open1287.68133OpenAlexW1608242581MaRDI QIDQ3584945FDOQ3584945

Authors: Yuxi Fu 

Publication date: 31 August 2010

Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15375-4_28

Recommendations

• scientific article; zbMATH DE number 3963182
• The \(\pi\)-calculus: An introduction
• A calculus of mobile processes. II
• scientific article; zbMATH DE number 1082078
• A calculus of mobile processes. I

Mathematics Subject Classification ID

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

Cited In (7)

• Receptive process theory
• From computing to interaction: on the expressiveness of asynchronous pi-calculus
• Processes, Terms and Cycles: Steps on the Road to Infinity
• Theory Instantiation
• Theory exploration powered by deductive synthesis
• Processes and games
• Process in Reality: A logical offering

This page was built for publication: Theory by process

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