Pages that link to "Item:Q3608458"
From MaRDI portal
The following pages link to On Bisimulation Proofs for the Analysis of Distributed Abstract Machines (Q3608458):
Displaying 4 items.
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- New up-to techniques for weak bisimulation (Q2373744) (← links)
- Distributed branching bisimulation reduction of state spaces (Q2845494) (← links)
- A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract) (Q5756509) (← links)