On the specification of operations on the rational behaviour of systems

MaRDI QIDQ4986256zbMATH OpenFDO

Authors Marcello M. Bonsangue, Stefan Milius, Jurriaan Rot

Publication date 27 April 2021

Full work available at URL https://arxiv.org/abs/1208.2746, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS12.2

Mathematics Subject Classification ID

Categories of machines, automata (18B20) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Rational operational models
• Structural Operational Semantics for Weighted Transition Systems
• Combining bialgebraic semantics and equations
• Distributive laws and decidable properties of SOS specifications
• Pointwise extensions of GSOS-defined operations

Cited in

(4)

• A new foundation for finitary corecursion and iterative algebras
• Rational operational models
• Structural Operational Semantics for Weighted Transition Systems
• The way we were: structural operational semantics research in perspective

This page was built for publication: On the specification of operations on the rational behaviour of systems

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