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

DOI10.1007/978-3-030-31175-9_3MaRDI QIDQ6489013FDOQ6489013

Authors: Davide Sangiorgi 

Publication date: 14 March 2024

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 \(\pi\)-calculus
• On the Asynchronous Nature of the Asynchronous π-Calculus

Mathematics Subject Classification ID

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

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)