Compositional SOS and beyond: A coalgebraic view of open systems
From MaRDI portal
Recommendations
- A coalgebraic theory of reactive systems
- scientific article; zbMATH DE number 1314229
- Coalgebraic Models for Reactive Systems
- A coalgebraic presentation of structured transition systems
- Universal coalgebra: A theory of systems
- Coalgebraic approach for program behavior in comonads over toposes
- Reactive systems, (semi-)saturated semantics and coalgebras on presheaves
- Mechanizing compositional reasoning for concurrent systems: some lessons
- scientific article; zbMATH DE number 1863181
Cites work
- scientific article; zbMATH DE number 3888893 (Why is no real title available?)
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- scientific article; zbMATH DE number 1189279 (Why is no real title available?)
- scientific article; zbMATH DE number 92600 (Why is no real title available?)
- scientific article; zbMATH DE number 3616640 (Why is no real title available?)
- scientific article; zbMATH DE number 4128423 (Why is no real title available?)
- scientific article; zbMATH DE number 1231625 (Why is no real title available?)
- scientific article; zbMATH DE number 1314229 (Why is no real title available?)
- scientific article; zbMATH DE number 1086713 (Why is no real title available?)
- scientific article; zbMATH DE number 1531624 (Why is no real title available?)
- A \(\pi\)-calculus with explicit substitutions
- A calculus of communicating systems
- A calculus of mobile processes. II
- A coalgebraic presentation of structured transition systems
- A hidden agenda
- An algebraic semantics for structured transition systems and its application to logic programs
- Bisimulation can't be traced
- Bisimulation from open maps
- Correctness of recursive parallel nondeterministic flow programs
- Higher-level synchronising devices in Meije-SCCS
- Petri nets are monoids
- Structured operational semantics and bisimulation as a congruence
- The chemical abstract machine
- Universal coalgebra: A theory of systems
Cited in
(24)- scientific article; zbMATH DE number 7449991 (Why is no real title available?)
- A name abstraction functor for named sets
- Dynamic connectors for concurrency
- A presheaf environment for the explicit fusion calculus
- Bialgebras for structural operational semantics: an introduction
- Rule formats for timed processes
- SOS formats and meta-theory: 20 years after
- A congruence rule format for name-passing process calculi
- GETGRATS: a summary of scientific results (with annotated bibliography)
- Ugo Montanari and Concurrency Theory
- Comparing higher-order encodings in logical frameworks and tile logic
- A compositional coalgebraic model of fusion calculus
- Structured coalgebras and minimal HD-automata for the \(\pi\)-calculus
- scientific article; zbMATH DE number 7356843 (Why is no real title available?)
- Symmetries, local names and dynamic (de)-allocation of names
- Structural congruence for bialgebraic semantics
- About permutation algebras, (pre)sheaves and named sets
- Processes as formal power series: a coinductive approach to denotational semantics
- A coalgebraic presentation of structured transition systems
- Towards behavioral Maude: behavioral membership equational logic
- A categorical framework for congruence of applicative bisimilarity in higher-order languages
- scientific article; zbMATH DE number 1759487 (Why is no real title available?)
- Coalgebraic description of generalised binary methods
- Bialgebraic methods and modal logic in structural operational semantics
This page was built for publication: Compositional SOS and beyond: A coalgebraic view of open systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1603820)
