The following pages link to (Q4738222):
Displaying 17 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Modalities in the Stone age: a comparison of coalgebraic logics (Q418820) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Coalgebraic minimization of HD-automata for the \(\pi\)-calculus using polymorphic types (Q1770362) (← links)
- Comparing operational models of name-passing process calculi (Q2495643) (← links)
- Equational coalgebraic logic (Q2805164) (← links)
- A congruence format for name-passing calculi (Q2852102) (← links)
- A well-behaved LTS for the pi-calculus (abstract) (Q2871826) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- Relating Coalgebraic Notions of Bisimulation (Q2888487) (← links)
- Families of symmetries as efficient models of resource binding (Q2919450) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Ugo Montanari and Software Verification (Q3507392) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)
