Rational operational models

DOI10.1016/j.entcs.2013.09.017zbMath1334.68137OpenAlexW2112298740WikidataQ113317957 ScholiaQ113317957MaRDI QIDQ265819

Marcello M. Bonsangue, Robert S. R. Myers, Stefan Milius, Jurriaan Rot

Publication date: 12 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.09.017

zbMATH Keywords

coalgebradistributive lawrational behaviourregular processsimple GSOS

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

A New Foundation for Finitary Corecursion ⋮ A new foundation for finitary corecursion and iterative algebras

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics
• GSOS and finite labelled transition systems
• Universal coalgebra: A theory of systems
• On tree coalgebras and coalgebra presentations
• Coequalizers and free triples
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• Strongly Complete Logics for Coalgebras
• Coalgebraic Bisimulation-Up-To
• Sound and Complete Axiomatizations of Coalgebraic Language Equivalence
• Structural Operational Semantics for Weighted Transition Systems
• Iterative algebras at work
• Rational streams coalgebraically
• Accessible Categories: The Foundations of Categorical Model Theory
• Bisimulation can't be traced
• Free iterative theories: a coalgebraic view
• A coinductive calculus of streams
• Derivatives of Regular Expressions

This page was built for publication: Rational operational models