The following pages link to (Q3727356):
Displaying 22 items.
- Elucidating concurrent algorithms via layers of abstraction and reification (Q539423) (← links)
- Contracts for concurrency (Q846109) (← links)
- An extension of the language C for concurrent programming (Q1067407) (← links)
- An implementation of mutual inclusion (Q1081297) (← links)
- Language hierarchies and interfaces. International summer school, Marktoberdorf, Germany, 1975 (Q1227565) (← links)
- SIR: Inter-program concurrency support for SR programs (Q1398333) (← links)
- A simple proof technique for priority-scheduled systems (Q1607082) (← links)
- Cheap remarks about concurrent programs (Q1648894) (← links)
- A model of dynamical concurrent program execution (Q1946892) (← links)
- Formalization of Habanero phasers using Coq (Q2360652) (← links)
- Possible values: exploring a concept for concurrency (Q2374311) (← links)
- (Q3122691) (← links)
- Programming a Bounded Buffer using the Object and Path Expression Constructs of Path Pascal (Q3735067) (← links)
- (Q3992668) (← links)
- Concurrent Programming (Q3994894) (← links)
- (Q4024005) (← links)
- (Q4852241) (← links)
- (Q4864238) (← links)
- Constraining interference in an object-based design method (Q5044731) (← links)
- Programming Languages and Systems (Q5464036) (← links)
- Communicating Sequential Processes. The First 25 Years (Q5709369) (← links)
- Maximally concurrent programs (Q5926766) (← links)