Browse wiki

From CERES
Jump to: navigation, search
Publications:A Congruence Rule Format with Universal Quantification
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  +
hide properties that link here 
  No properties link to this page.
 

 

Enter the name of the page to start browsing from.