Browse wiki

From CERES
Jump to: navigation, search
Publications:Notions of bisimulation and congruence formats for SOS with data
Abstract <p>While studying the specification <p>While studying the specification of the operational semantics of different programming languages and formalisms, one can observe the following three facts. First, Plotkin's style of Structural Operational Semantics has become a standard in defining operational semantics. Second, congruence with respect to some notion of bisimilarity is an interesting property for such languages and it is essential in reasoning. Third, there are numerous languages that contain an explicit data part in the state of the operational semantics. The first two facts have resulted in a line of research exploring syntactic formats of operational rules to derive the desired congruence property for free. However, the third point (in combination with the first two) is not sufficiently addressed and there is no standard congruence format for operational semantics with an explicit data state. In this article, we address this problem by studying the implications of the presence of a data state on the notion of bisimilarity. Furthermore, we propose a number of formats for congruence. © 2005 Elsevier Inc. All rights reserved.</p>sevier Inc. All rights reserved.</p>
Author Mohammad Reza Mousavi + , M. A. Reniers + , J. F. Groote +
DOI http://dx.doi.org/10.1016/j.ic.2005.03.002  +
Diva http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584518
EndPage 147  +
Journal Information and Computation  +
PublicationType Journal Paper  +
Publisher Elsevier  +
StartPage 107  +
Title Notions of bisimulation and congruence formats for SOS with data  +
Volume 200  +
Year 2005  +
Has queryThis property is a special property in this wiki. Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data + , Publications:Notions of bisimulation and congruence formats for SOS with data +
Categories Publication  +
Modification dateThis property is a special property in this wiki. 26 June 2014 03:43:42  +
show properties that link here 

 

Enter the name of the page to start browsing from.