The following pages link to (Q4484504):
Displaying 12 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Bialgebraic foundations for the operational semantics of string diagrams (Q2051792) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Weak Bisimilarity Coalgebraically (Q2888485) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- A Compositional Coalgebraic Model of a Fragment of Fusion Calculus (Q5262958) (← links)
- (Q5875399) (← links)