Publication:338626

DOI10.1016/J.JLAMP.2016.08.001zbMATH Open1353.68173OpenAlexW2496918952MaRDI QIDQ338626FDOQ338626

Marcello M. Bonsangue, Jurriaan Rot

Publication date: 7 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.08.001

zbMATH Keywords

coalgebrastructural congruencestructural operational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Structural induction and coinduction in a fibrational setting
• Universal coalgebra: A theory of systems
• Coequalizers and free triples
• Structural operational semantics.
• Coalgebraic Bisimulation-Up-To
• Structural Operational Semantics for Weighted Transition Systems
• Functions as processes
• Bisimulation can't be traced
• Continuous Lattices and Domains
• Bialgebras for structural operational semantics: an introduction
• Category theory for operational semantics
• On the bisimulation proof method
• Enhancements of the bisimulation proof method
• Simulations in coalgebra
• Behavioural differential equations: a coinductive calculus of streams, automata, and power series
• The \(\pi\)-calculus: A theory of mobile processes
• A fixpoint theorem for complete categories
• Compositional SOS and beyond: A coalgebraic view of open systems
• The meaning of negative premises in transition system specifications. II
• Adding recursive constructs to bialgebraic semantics
• Distributive laws for the coinductive solution of recursive equations
• Abstract GSOS rules and a modular treatment of recursive definitions
• Bialgebraic methods in structural operational semantics (invited talk)
• Introduction to Bisimulation and Coinduction
• Bialgebraic Semantics and Recursion
• Semirings and Formal Power Series
• Lax Bialgebras and Up-To Techniques for Weak Bisimulations
• Combining Bialgebraic Semantics and Equations
• An introduction to (co)algebra and (co)induction
• Foundations of Software Science and Computational Structures
• Presenting Distributive Laws

Cited In (4)

• Bi-inductive structural semantics
• Title not available (Why is that?)
• Distributive laws for monotone specifications
• A categorical approach to coalgebraic fixpoint logic

This page was built for publication: Structural congruence for bialgebraic semantics

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