Pages that link to "Item:Q1603820"
From MaRDI portal
The following pages link to Compositional SOS and beyond: A coalgebraic view of open systems (Q1603820):
Displaying 22 items.
- Structural congruence for bialgebraic semantics (Q338626) (← links)
- Symmetries, local names and dynamic (de)-allocation of names (Q618165) (← links)
- Bialgebras for structural operational semantics: an introduction (Q639646) (← links)
- About permutation algebras, (pre)sheaves and named sets (Q853745) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- A congruence rule format for name-passing process calculi (Q1012125) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Dynamic connectors for concurrency (Q1603689) (← links)
- A compositional coalgebraic model of fusion calculus (Q2373651) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Processes as formal power series: a coinductive approach to denotational semantics (Q2503337) (← links)
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus (Q2566037) (← links)
- Comparing higher-order encodings in logical frameworks and tile logic (Q2841275) (← links)
- Rule formats for timed processes (Q2841307) (← links)
- Towards behavioral Maude: behavioral membership equational logic (Q2842559) (← links)
- A name abstraction functor for named sets (Q2873662) (← links)
- (Q3385646) (← links)
- Ugo Montanari and Concurrency Theory (Q3507376) (← links)
- GETGRATS (Q4923529) (← links)
- (Q4992502) (← links)
- A categorical framework for congruence of applicative bisimilarity in higher-order languages (Q5043601) (← links)
- Coalgebraic description of generalised binary methods (Q5756977) (← links)
