Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
From MaRDI portal
Publication:843097
DOI10.1016/J.TCS.2009.06.010zbMATH Open1186.68315OpenAlexW1970282061MaRDI QIDQ843097FDOQ843097
Recommendations
- A coalgebraic theory of reactive systems
- Coalgebraic Models for Reactive Systems
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
- A denotational theory of synchronous reactive systems
- A coalgebraic presentation of structured transition systems
- G-reactive systems as coalgebras
- scientific article; zbMATH DE number 1973127
- scientific article; zbMATH DE number 3919813
- A coalgebraic approach to the semantics of the ambient calculus
Cites Work
- scientific article; zbMATH DE number 2125670 (Why is no real title available?)
- scientific article; zbMATH DE number 92600 (Why is no real title available?)
- scientific article; zbMATH DE number 1314229 (Why is no real title available?)
- scientific article; zbMATH DE number 575948 (Why is no real title available?)
- scientific article; zbMATH DE number 1759615 (Why is no real title available?)
- scientific article; zbMATH DE number 1863157 (Why is no real title available?)
- A Category of Explicit Fusions
- A calculus of mobile processes. I
- A coalgebraic presentation of structured transition systems
- A compositional partial order semantics for Petri net components
- A congruence for Petri nets
- A fully abstract model for the \(\pi\)-calculus.
- A theory of bisimulation for the \(\pi\)-calculus
- Algebra and Coalgebra in Computer Science
- An interactive semantics of logic programming
- Barbed bisimulation
- Behavioral theory for mobile ambients
- Bigraphs and transitions
- Bisimulation by unification
- CONCUR 2005 – Concurrency Theory
- Coalgebraic Models for Reactive Systems
- Compositional semantics for open Petri nets based on deterministic processes
- Declarative modeling of the operational behavior of logic languages
- Deriving Structural Labelled Transitions for Mobile Ambients
- Explicit fusions
- Foundations of Software Science and Computational Structures
- From rewrite rules to bisimulation congruences
- Handbook of Graph Grammars and Computing by Graph Transformation
- Labelled transitions for mobile ambients (as synthesized via a graphical encoding)
- Lectures on Concurrency and Petri Nets
- Local bigraphs and confluence: two conjectures (extended abstract)
- Locating reaction with 2-categories
- Making the unobservable, unobservable
- Mobile ambients
- Models for name-passing processes: Interleaving and causal
- On bisimulations for the asynchronous \(\pi\)-calculus
- Process Bisimulation Via a Graphical Encoding
- Pure bigraphs: structure and dynamics
- RPO, Second-Order Contexts, and λ-Calculus
- Reactive Systems over Directed Bigraphs
- Reactive Systems, Barbed Semantics, and the Mobile Ambients
- Relationally staged computations in calculi of mobile processes
- Symbolic Semantics Revisited
- Symbolic bisimulations
- The chemical abstract machine
- Transition systems, link graphs and Petri nets
- Universal coalgebra: A theory of systems
Cited In (15)
- A General Theory of Barbs, Contexts, and Labels
- Category theoretic semantics for theorem proving in logic programming: embracing the laxness
- G-reactive systems as coalgebras
- Logic programming: laxness and saturation
- A denotational theory of synchronous reactive systems
- Coalgebraic Models for Reactive Systems
- What is a free name in a process algebra?
- A network-conscious \(\pi\)-calculus and its coalgebraic semantics
- Coalgebraic semantics for parallel derivation strategies in logic programming
- Exploiting parallelism in coalgebraic logic programming
- Interaction and Observation: Categorical Semantics of Reactive Systems Trough Dialgebras
- Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi
- Compositional SOS and beyond: A coalgebraic view of open systems
- Relational presheaves, change of base and weak simulation
- Active evaluation contexts for reaction semantics
This page was built for publication: Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q843097)
