Pages that link to "Item:Q5398312"
From MaRDI portal
The following pages link to A declarative approach to distributed computing: Specification, execution and analysis (Q5398312):
Displaying 9 items.
- Specifying distributed computer architectures in AADL (Q1116320) (← links)
- Design of a multi-formalism application and distribution in a data-flow context: An example (Q2758308) (← links)
- (Q3169433) (← links)
- (Q3299221) (← links)
- (Q3512278) (← links)
- A programming model and foundation for lineage-based distributed computation (Q4577814) (← links)
- Putting logic-based distributed systems on stable grounds (Q4593035) (← links)
- A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation (Q5108522) (← links)
- Euro-Par 2004 Parallel Processing (Q5311384) (← links)