Pages that link to "Item:Q3321441"
From MaRDI portal
The following pages link to Using message passing for distributed programming: proof rules and disciplines (Q3321441):
Displayed 4 items.
- A complete axiomatic semantics of spawning (Q808281) (← links)
- A principle for sequential reasoning about distributed algorithms (Q1346611) (← links)
- Implementation of hierarchical F-channels for high-performance distributed computing (Q5136998) (← links)
- Synchronous, asynchronous, and causally ordered communication (Q5137015) (← links)