scientific article; zbMATH DE number 4020456
From MaRDI portal
Publication:3763575
Recommendations
- scientific article; zbMATH DE number 42752
- Higher-order communications for concurrent programming
- Communicating parallel processes
- Communicating Sequential Processes for Centralized and Distributed Operating System Design
- Specifying concurrent objects as communicating processes
- scientific article; zbMATH DE number 8777
- scientific article; zbMATH DE number 3903946
- scientific article; zbMATH DE number 45145
- Concurrency in synchronous systems
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 Q3763575)
