scientific article; zbMATH DE number 108540
From MaRDI portal
Publication:4024006
Cited in
(9)- Formal verification of a programming logic for a distributed programming language
- SIR: Inter-program concurrency support for SR programs
- Fairness in shared invocation servicing
- A survey of concurrent object-oriented languages
- A comparison of concurrent programming and cooperative multithreading
- scientific article; zbMATH DE number 2111806 (Why is no real title available?)
- scientific article; zbMATH DE number 767454 (Why is no real title available?)
- Concurrent Programming in ML
- Graph-grammar semantics of a higher-order programming language for distributed 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 Q4024006)