Pages that link to "Item:Q792081"
From MaRDI portal
The following pages link to A systematic approach to language constructs for concurrent programs (Q792081):
Displaying 14 items.
- Contracts for concurrency (Q846109) (← links)
- The role of concurrency in an evolutionary view of programming abstractions (Q890610) (← links)
- Concurrency in programming languages: A survey (Q1077156) (← links)
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Stability, sequentiality and demand driven evaluation in dataflow (Q1346605) (← links)
- A model of dynamical concurrent program execution (Q1946892) (← links)
- Program analysis to support concurrent programming in declarative languages (Q2883102) (← links)
- (Q3527017) (← links)
- Towards a language for concurrent processes (Q3681919) (← links)
- (Q3746904) (← links)
- Direct semantics of concurrent languages in the SMoLCS approach (Q3766819) (← links)
- Concurrent C++: Concurrent programming with class(es) (Q3811679) (← links)
- Unifying Semantics for Concurrent Programming (Q4922078) (← links)
- (Q4945248) (← links)