Combining bialgebraic semantics and equations

DOI10.1007/978-3-642-54830-7_25MaRDI QIDQ5410685zbMATH OpenOpenAlexFDO

Authors Jurriaan Rot, Marcello M. Bonsangue

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54830-7_25

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Structural congruence for bialgebraic semantics
• Bialgebraic methods in structural operational semantics (invited talk)
• Bialgebraic methods and modal logic in structural operational semantics
• Bialgebras for structural operational semantics: an introduction
• Adding recursive constructs to bialgebraic semantics

Cited in

(9)

• Adding recursive constructs to bialgebraic semantics
• From bialgebraic semantics to congruence formats
• Bialgebraic methods in structural operational semantics (invited talk)
• Structural congruence for bialgebraic semantics
• Bialgebraic semantics and recursion (extended abstract)
• Robustness of equations under operational extensions
• On the specification of operations on the rational behaviour of systems
• Formalizing bialgebraic semantics in PVS 6.0
• GSOS for non-deterministic processes with quantitative aspects

This page was built for publication: Combining bialgebraic semantics and equations

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