| Abstract
|
<p>Sound behavioral equations on ope … <p>Sound behavioral equations on open terms may become unsoundafter conservative extensions ofthe underlying operational semantics. Providing criteriaunder which such equations are preserved isextremely useful; in particular, it can avoid the need to repeat proofs when extending the specifiedlanguage.This paper investigates preservation of sound equations for several notions of bisimilarity onopen terms: closed-instance (ci-)bisimilarity and formal-hypothesis (fh-)bisimilarity, both due toRobert de Simone, and hypothesis-preserving (hp-)bisimilarity, due to Arend Rensink. For both fh-bisimilarity and hp-bisimilarity, we prove that arbitrarysound equations on open terms are preservedby all disjoint extensions which do not add labels. We also define slight variations of fh- and hp-bisimilarity such that all sound equations are preserved byarbitrary disjoint extensions. Finally, wegive two sets of syntactic criteria (on equations, resp. operational extensions) and prove each of themto be sufficient for preserving ci-bisimilarity.</p> for preserving ci-bisimilarity.</p>
|
| Author
|
P. D. Mosses +
, Mohammad Reza Mousavi +
, M. A. Reniers +
|
| Conference
|
17th International Workshop (EXPRESS’10), Paris, France, August 30th, 2010
|
| DOI
|
http://dx.doi.org/10.4204/EPTCS.41.8 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584477
|
| EndPage
|
120 +
|
| HostPublication
|
Proceedings 17th International Workshop on Expressiveness in Concurrency +
|
| PublicationType
|
Conference Paper +
|
| StartPage
|
106 +
|
| Title
|
Robustness of equations under operational extensions +
|
| Volume
|
41 +
|
| Year
|
2010 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
, Publications:Robustness of equations under operational extensions +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:43:34 +
|
