The following pages link to (Q4536606):
Displayed 44 items.
- Measurable stochastics for Brane calculus (Q418841) (← links)
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves (Q843097) (← links)
- Bisimulations in calculi modelling membranes (Q939161) (← links)
- Synthesising CCS bisimulation using graph rewriting (Q1004288) (← links)
- On the algebraic structure of declarative programming languages (Q1035699) (← links)
- Locating reaction with 2-categories (Q1770420) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- A theory of bisimulation for a fragment of concurrent ML with local names (Q1882896) (← links)
- Deriving structural labelled transitions for mobile ambients (Q1959484) (← links)
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- SMT-based generation of symbolic automata (Q2182674) (← links)
- Relational presheaves, change of base and weak simulation (Q2341703) (← links)
- A presheaf environment for the explicit fusion calculus (Q2392481) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- A semantic framework for open processes (Q2463561) (← links)
- Pure bigraphs: structure and dynamics (Q2490119) (← links)
- Deriving Bisimulation Congruences: A 2-categorical Approach (Q2842606) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- Bialgebraic Methods in Structural Operational Semantics (Q2866314) (← links)
- Local Bigraphs and Confluence: Two Conjectures (Q2866344) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Bigraphs and Their Algebra (Q2870188) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- A Well-behaved LTS for the Pi-calculus (Q2871826) (← links)
- Coalgebraic Symbolic Semantics (Q2888486) (← links)
- A General Theory of Barbs, Contexts, and Labels (Q2946747) (← links)
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi (Q3184728) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- A Category of Explicit Fusions (Q3507388) (← links)
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study (Q3510856) (← links)
- Network Applications of Graph Bisimulation (Q3540393) (← links)
- Reactive Systems, Barbed Semantics, and the Mobile Ambients (Q3617735) (← links)
- Kind Bigraphs (Q4982073) (← links)
- (Q5021225) (← links)
- (Q5028460) (← links)
- (Q5155688) (← links)
- On Symbolic Semantics for Name-decorated Contexts (Q5166612) (← links)
- Making the Unobservable, Unobservable (Q5166617) (← links)
- Labelled Transitions for Mobile Ambients (As Synthesized via a Graphical Encoding) (Q5170667) (← links)
- Directed Bigraphs (Q5262934) (← links)
- RPO, Second-Order Contexts, and λ-Calculus (Q5458369) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- Formal Reduction for Rule-based Models (Q5739349) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)