Pages that link to "Item:Q1346611"
From MaRDI portal
The following pages link to A principle for sequential reasoning about distributed algorithms (Q1346611):
Displaying 6 items.
- Structural transformations for data-enriched real-time systems (Q493518) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Petri net based verification of distributed algorithms: An example (Q1377301) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- Causing communication closure: safe program composition with reliable non-FIFO channels (Q2377131) (← links)
- A Bibliography of Willem-Paul de Roever (Q5187816) (← links)
