Congruence for structural congruences

M.R. Mousavi, M.A. Reniers

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

13 Citations (Scopus)


Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system specifications in Plotkin’s style of Structural Operational Semantics (SOS). However, there has been little theoretical work on establishing a formal link between these two semantic specification frameworks. In this paper, we give an interpretation of structural congruences inside the transition system specification framework. This way, we extend a number of well-behavedness meta-theorems for SOS (such as well-definedness of the semantics and congruence of bisimilarity) to the extended setting with structural congruences.
Original languageEnglish
Title of host publicationFoundations of Software Science and Computational Structures (Proceedings FOSSACS 2005, Edinburgh, Scotland, April 4-8, 2005)
EditorsV. Sassone
Place of PublicationBerlin
ISBN (Print)3-540-25388-2
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Dive into the research topics of 'Congruence for structural congruences'. Together they form a unique fingerprint.

Cite this