Pages that link to "Item:Q1251066"
From MaRDI portal
The following pages link to Formal derivation of strongly correct concurrent programs (Q1251066):
Displaying 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A weakest precondition semantics for communicating processes (Q789174) (← links)
- A generalized deadlock predicate (Q1085972) (← links)
- A unified approach for studying the properties of transition systems (Q1161289) (← links)
- Formal derivation of strongly correct concurrent programs (Q1251066) (← links)
- (Q3867175) (← links)
