Pages that link to "Item:Q5492819"
From MaRDI portal
The following pages link to Algebra and Coalgebra in Computer Science (Q5492819):
Displaying 5 items.
- Name-passing calculi: from fusions to preorders and types (Q342734) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Nominal Kleene Coalgebra (Q3449483) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)