The following pages link to (Q3347276):
Displaying 11 items.
- On grainless footprint semantics for shared-memory programs (Q283741) (← links)
- Denotational semantics of communicating sequential programs (Q1088402) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- Real-time semantics for shared-variable concurrency (Q1207949) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- A Deadlock-Free Semantics for Shared Memory Concurrency (Q3393404) (← links)
- Parameterized Memory Models and Concurrent Separation Logic (Q3558227) (← links)
- Shared Memory Consistency Conditions for Nonsequential Execution: Definitions and Programming Strategies (Q4388863) (← links)
- (Q4739563) (← links)
- UTCP: Compositional Semantics for Shared-Variable Concurrency (Q5045469) (← links)
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879) (← links)