Publications:A Congruence Rule Format with Universal Quantification
From CERES
| Title | A Congruence Rule Format with Universal Quantification |
|---|---|
| Author | Mohammad Reza Mousavi and M. A. Reniers |
| Year | 2007 |
| PublicationType | Conference Paper |
| Journal | |
| HostPublication | Proceedings of the 4th Workshop on Structural Operational Semantics |
| DOI | http://dx.doi.org/10.1016/j.entcs.2007.08.019 |
| Conference | The 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland |
| Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585568 |
| 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. © 2007 Elsevier B.V. All rights reserved. |
