The following pages link to (Q3993115):
Displaying 3 items.
- Formal communication elimination and sequentialization equivalence proofs for distributed system models (Q466919) (← links)
- Verified compilation of communicating processes into clocked circuits (Q1267038) (← links)
- Formal Sequentialization of Distributed Systems via Program Rewriting (Q2867960) (← links)
