scientific article; zbMATH DE number 1401961
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 1345927
- Semantics of systems of concurrent processes. LITP Spring School on theoretical computer science, La Roche Posay, France, 23-27 April 1990. Proceedings
- Concurrent programming as proof net construction
- CONCUR '90. Theories of concurrency: unification and extension. Amsterdam, The Netherlands, August 1990. Proceedings
- scientific article; zbMATH DE number 3963164
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 Q4939715)