Pages that link to "Item:Q1193762"
From MaRDI portal
The following pages link to Formal timing analysis of distributed systems (Q1193762):
Displaying 5 items.
- Using the causal domain to specify and verify distributed programs (Q678251) (← links)
- A temporal logic for real-time partial ordering with named transactions (Q1391307) (← links)
- Quantitative program logic and expected time bounds in probabilistic distributed algorithms. (Q1603711) (← links)
- Semantic models of a timed distributed dataspace architecture (Q1770360) (← links)
- TTL : a formalism to describe local and global properties of distributed systems (Q3992090) (← links)