A Congruence Rule Format with Universal Quantification

MohammadReza Mousavi, Michel Reniers, Proceedings of the 4th Workshop on Structural Operational Semantics (SOS'07), Wroclaw, Poland, volume 192 of Electronic Notes in Theoretical Computer Science, Elsevier Science B.V., 2007.

Abstract

We investigate the addition of universal quantification to the meta-theory of Structural Operational Semantics (SOS). We study the syntax and semantics of SOS rules extended with universal quantification and propose a congruence rule format for strong bisimilarity that supports this new feature.

Paper in .ps format     in .pdf format     Presentation in .pdf format

@InProceedings{MousaviSOS07,
    author      = "Mousavi, MohammadReza and Reniers, Michel A.",
    title       = "A Congruence Rule Format with Universal Quantification",
    booktitle   = "Proceedings of the 2nd Workshop on Structural Operational Semantics   (SOS'07)",
    series      = "Electronic Notes in Theoretical Computer Science",
    address     = "Wroclaw, Poland",
    volume      = "192",
    pages       = "109--124",
    publisher  = "Elsevier Science B.V.",
    year        = "2007"
}

Back to Publications Page