| Abstract
|
<p>We investigate the addition of un … <p>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.</p>sevier B.V. All rights reserved.</p>
|
| Author
|
Mohammad Reza Mousavi +
, M. A. Reniers +
|
| Conference
|
The 4th Workshop on Structural Operational Semantics (SOS 2007), 9 July 2007, Wroclaw, Poland
|
| DOI
|
http://dx.doi.org/10.1016/j.entcs.2007.08.019 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:585568
|
| EndPage
|
124 +
|
| HostPublication
|
Proceedings of the 4th Workshop on Structural Operational Semantics +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
Elsevier +
|
| Series
|
Electronic Notes in Theoretical Computer Science +
|
| StartPage
|
109 +
|
| Title
|
A Congruence Rule Format with Universal Quantification +
|
| Volume
|
192(1) +
|
| Year
|
2007 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
, Publications:A Congruence Rule Format with Universal Quantification +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:40 +
|
