Pages that link to "Item:Q1854406"
From MaRDI portal
The following pages link to A partition refinement algorithm for the \(\pi\)-calculus (Q1854406):
Displaying 5 items.
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Partition refinement of component interaction automata (Q1951613) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- Efficient Coalgebraic Partition Refinement (Q5111646) (← links)