Pages that link to "Item:Q1853588"
From MaRDI portal
The following pages link to Bounded time-stamping in message-passing systems (Q1853588):
Displaying 6 items.
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- A theory of regular MSC languages (Q2573333) (← links)
- Beyond Lamport's <i>Happened-before</i> (Q3189648) (← links)
- Interval approximations of message causality in distributed executions (Q5096795) (← links)
- Advances in Cryptology – CRYPTO 2004 (Q5311550) (← links)
- Synthesis of Safe Message-Passing Systems (Q5458841) (← links)