Difference between revisions of "Publications:A Congruence Rule Format with Universal Quantification"
From CERES
(Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Mohammad Reza Mousavi, M. A. Reniers |PID=585568 |Name=Mousavi, Mohammad Re...") |
(No difference)
|
Latest revision as of 04:43, 26 June 2014
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. |