Asynchronous \pi -calculus at Work: The Call-by-Need Strategy

DOI10.1007/978-3-030-31175-9_3MaRDI QIDQ6489013zbMATH OpenFDO

Authors Davide Sangiorgi

Publication date 14 March 2024

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1223739
• On asynchrony in name-passing calculi
• Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
• On the validity of encodings of the synchronous in the asynchronous -calculus
• On the Asynchronous Nature of the Asynchronous π-Calculus

This page was built for publication: Asynchronous $$\pi $$ -calculus at Work: The Call-by-Need Strategy

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