Pages that link to "Item:Q2495643"
From MaRDI portal
The following pages link to Comparing operational models of name-passing process calculi (Q2495643):
Displaying 20 items.
- Coinductive predicates and final sequences in a fibration (Q265811) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Structural operational semantics for continuous state stochastic transition systems (Q2341700) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Exploring nominal cellular automata (Q2409627) (← links)
- A Class of Automata for the Verification of Infinite, Resource-Allocating Behaviours (Q2811927) (← links)
- A Well-behaved LTS for the Pi-calculus (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)
- Equational presentations of functors and monads (Q3005991) (← links)
- (Q3385646) (← links)
- Spans of cospans (Q4563230) (← links)
- Coinductive predicates and final sequences in a fibration (Q4606703) (← links)
- (Q5240186) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- Initial Algebras of Terms with Binding and Algebraic Structure (Q5414966) (← links)
- A Categorical Model of the Fusion Calculus (Q5415643) (← links)
