Congruence for structural congruences

DOI10.1007/978-3-540-31982-5_3MaRDI QIDQ5705905zbMATH OpenOpenAlexFDO

Authors Mohammad Mousavi, Michel A. Reniers

Publication date 10 November 2005

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

Full work available at URL https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Structural congruence for bialgebraic semantics
• Structural operational semantics.
• Notions of bisimulation and congruence formats for SOS with data
• Structured operational semantics and bisimulation as a congruence
• The (algebraic) congruence of two programming language definitions

Cited in

(8)

• A compositional coalgebraic model of fusion calculus
• Reversing algebraic process calculi
• Automating soundness proofs
• Bialgebraic methods in structural operational semantics (invited talk)
• A notion of congruence for dtsPBC
• Weak bisimulation as a congruence in MSOS
• Structural congruence for bialgebraic semantics
• SOS formats and meta-theory: 20 years after

This page was built for publication: Congruence for structural congruences

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