Pages that link to "Item:Q1140981"
From MaRDI portal
The following pages link to Recursive assertions and parallel programs (Q1140981):
Displaying 7 items.
- On the programs-as-formulas interpretation of parallel programs in Peano arithmetic (Q1100878) (← links)
- Transition systems, metric spaces and ready sets in the semantics of uniform concurrency (Q1107303) (← links)
- Designing equivalent semantic models for process creation (Q1107305) (← links)
- A generalization of Owicki-Gries's Hoare logic for a concurrent while language (Q1107518) (← links)
- Towards a foundation for semantics in complete metric spaces (Q1173767) (← links)
- Proving partial order properties (Q1322161) (← links)
- The Rely-Guarantee method for verifying shared variable concurrent programs (Q1362776) (← links)