Rational operational models

DOI10.1016/J.ENTCS.2013.09.017MaRDI QIDQ265819zbMATH OpenOpenAlexWikidataFDO

Authors Stefan Milius, Marcello M. Bonsangue, Robert S. R. Myers, 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)

Recommendations

• On the specification of operations on the rational behaviour of systems
• GSOS for probabilistic transition systems (extended abstract)
• Pointwise extensions of GSOS-defined operations
• Distributive laws for monotone specifications
• GSOS and finite labelled transition systems

Cites work

• scientific article; zbMATH DE number 3940199 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 46168 (Why is no real title available?)
• scientific article; zbMATH DE number 3458870 (Why is no real title available?)
• scientific article; zbMATH DE number 575948 (Why is no real title available?)
• scientific article; zbMATH DE number 1560717 (Why is no real title available?)
• A coinductive calculus of streams
• Accessible Categories: The Foundations of Categorical Model Theory
• Algebraic theories. A categorical introduction to general algebra. With a foreword by F. W. Lawvere
• Bialgebras for structural operational semantics: an introduction
• Bisimulation can't be traced
• Category theory for operational semantics
• Coalgebraic bisimulation-up-to
• Coequalizers and free triples
• Derivatives of Regular Expressions
• Free iterative theories: a coalgebraic view
• GSOS and finite labelled transition systems
• Iterative algebras at work
• Lokal präsentierbare Kategorien. (Locally presentable categories)
• On the specification of operations on the rational behaviour of systems
• On tree coalgebras and coalgebra presentations
• Rational streams coalgebraically
• Sound and complete axiomatizations of coalgebraic language equivalence
• Strongly complete logics for coalgebras
• Structural Operational Semantics for Weighted Transition Systems
• Structural operational semantics.
• Universal coalgebra: A theory of systems

Cited in

(10)

• Quantitative Kleene coalgebras
• On the specification of operations on the rational behaviour of systems
• A new foundation for finitary corecursion. The locally finite fixpoint and its properties
• GSOS for probabilistic transition systems (extended abstract)
• Structural Operational Semantics for Weighted Transition Systems
• A new foundation for finitary corecursion and iterative algebras
• CPO models for compact GSOS languages
• CPO models for a class of GSOS languages
• scientific article; zbMATH DE number 2086418 (Why is no real title available?)
• Distributive laws and decidable properties of SOS specifications

This page was built for publication: Rational operational models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q265819)