Pages that link to "Item:Q5971389"
From MaRDI portal
The following pages link to Steps in modular specifications for concurrent modules (invited tutorial paper) (Q5971389):
Displaying 9 items.
- Formal specification of MPI 2.0: case study in specifying a practical concurrent programming API (Q617917) (← links)
- Specification of concurrent objects using auxiliary variables (Q808725) (← links)
- Specifying modules to satisfy interfaces: A state transition system approach (Q1193606) (← links)
- A perspective on specifying and verifying concurrent modules (Q1648035) (← links)
- Modular Termination Verification for Non-blocking Concurrency (Q2802477) (← links)
- Interface-based specification and verification of concurrency controllers (Q2845501) (← links)
- Abstract Specifications for Concurrent Maps (Q2988678) (← links)
- (Q4941937) (← links)
- Modular verification for shared-variable concurrent programs (Q6162114) (← links)