The following pages link to (Q4411946):
Displaying 4 items.
- A consistency analysis of a class of concurrent transient implicit/explicit algorithms (Q802933) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- (Q2990851) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711514) (← links)