scientific article; zbMATH DE number 1759615
From MaRDI portal
Publication:4536606
Recommendations
Cited in
(61)- Synthesising CCS bisimulation using graph rewriting
- On the algebraic structure of declarative programming languages
- A denotational theory of synchronous reactive systems
- Locating reaction with 2-categories
- Observational congruences for dynamically reconfigurable tile systems
- Congruent weak bisimulation with dense real-time
- A theory of bisimulation for a fragment of concurrent ML with local names
- Deriving structural labelled transitions for mobile ambients
- Categorical specification and implementation of replicated data types
- SMT-based generation of symbolic automata
- Relational presheaves, change of base and weak simulation
- A presheaf environment for the explicit fusion calculus
- Observational and behavioural equivalences for soft concurrent constraint programming
- A semantic framework for open processes
- Pure bigraphs: structure and dynamics
- Reactive bisimulation semantics for a process algebra with timeouts
- Deriving bisimulation congruences: a 2-categorical approach
- G-reactive systems as coalgebras
- Bialgebraic methods in structural operational semantics (invited talk)
- Local bigraphs and confluence: two conjectures (extended abstract)
- Adhesive DPO parallelism for monic matches
- Bigraphs and their algebra
- A coalgebraic theory of reactive systems
- A well-behaved LTS for the pi-calculus (abstract)
- Coalgebraic symbolic semantics
- Deriving Bisimulation Congruences for Conditional Reactive Systems
- A General Theory of Barbs, Contexts, and Labels
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
- Asynchronous traces and open Petri nets
- A Category of Explicit Fusions
- Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
- Network Applications of Graph Bisimulation
- Deriving Bisimulation Congruences with Borrowed Contexts
- Reactive Systems, Barbed Semantics, and the Mobile Ambients
- scientific article; zbMATH DE number 92600 (Why is no real title available?)
- scientific article; zbMATH DE number 176155 (Why is no real title available?)
- Measurable stochastics for Brane calculus
- scientific article; zbMATH DE number 1956527 (Why is no real title available?)
- scientific article; zbMATH DE number 2059571 (Why is no real title available?)
- Saturated LTSs for adhesive rewriting systems
- Kind Bigraphs
- scientific article; zbMATH DE number 7456055 (Why is no real title available?)
- Conditional bisimilarity for reactive systems
- scientific article; zbMATH DE number 7407797 (Why is no real title available?)
- On symbolic semantics for name-decorated contexts
- Making the unobservable, unobservable
- Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
- Directed bigraphs
- Foundations of Software Science and Computation Structures
- RPO, Second-Order Contexts, and λ-Calculus
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions
- Formal reduction for rule-based models
- Sortings for Reactive Systems
- CONCUR 2005 – Concurrency Theory
- From rewrite rules to bisimulation congruences
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus
- Conditional bisimilarity for reactive systems
- Coinductive techniques for checking satisfiability of generalized nested conditions
- Bisimulations and logics for higher-dimensional automata
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- Bisimulations in calculi modelling membranes
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4536606)
