Asynchronous \pi -calculus at Work: The Call-by-Need Strategy
From MaRDI portal
Publication:6489013
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)