Pages that link to "Item:Q1241051"
From MaRDI portal
The following pages link to Correctness of parallel programs: The Church-Rosser approach (Q1241051):
Displaying 7 items.
- Simulation, reduction and preservation of correctness properties of parallel systems (Q1054477) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- An axiomatic proof technique for parallel programs (Q1219675) (← links)
- On reduction of asynchronous systems (Q1241274) (← links)
- Functional behavior in data spaces (Q1244988) (← links)
- Church-Rosser converters (Q3899522) (← links)
- Livelocks in parallel programs (Q5905142) (← links)
