Pages that link to "Item:Q5958770"
From MaRDI portal
The following pages link to Bisimulations in the join-calculus (Q5958770):
Displaying 5 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- An algebraic theory for web service contracts (Q493534) (← links)
- A hierarchy of equivalences for asynchronous calculi (Q1772314) (← links)
- Trace and testing equivalence on asynchronous processes (Q1854499) (← links)
- On distributability (Q2123059) (← links)
