A systematic approach to language constructs for concurrent programs
From MaRDI portal
Recommendations
- On implementations and semantics of a concurrent programming language
- scientific article; zbMATH DE number 3978364
- scientific article; zbMATH DE number 3894485
- Towards a language for concurrent processes
- scientific article; zbMATH DE number 3932376
- An algorithmic framework for synthesis of concurrent programs
- A functional programming approach to the specification and verification of concurrent systems
- scientific article; zbMATH DE number 3970098
Cited in
(17)- The role of concurrency in an evolutionary view of programming abstractions
- Concurrency in programming languages: A survey
- scientific article; zbMATH DE number 5347282 (Why is no real title available?)
- scientific article; zbMATH DE number 1755144 (Why is no real title available?)
- A model of dynamical concurrent program execution
- scientific article; zbMATH DE number 1424057 (Why is no real title available?)
- Towards a language for concurrent processes
- Program analysis to support concurrent programming in declarative languages
- Concurrent C++: Concurrent programming with class(es)
- A theory for nondeterminism, parallelism, communication, and concurrency
- Unifying Semantics for Concurrent Programming
- Stability, sequentiality and demand driven evaluation in dataflow
- Contracts for concurrency
- scientific article; zbMATH DE number 1830916 (Why is no real title available?)
- Direct semantics of concurrent languages in the SMoLCS approach
- scientific article; zbMATH DE number 3982543 (Why is no real title available?)
- scientific article; zbMATH DE number 1860677 (Why is no real title available?)
This page was built for publication: A systematic approach to language constructs for concurrent programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q792081)
