Nov 30, 2010 · Abstract:Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics.
Equations, pertaining to behavioral equivalences on open terms, are not robust even under conservative extension of operational semantics specifications, i.e., ...
Equations, pertaining to behavioral equivalences on open terms, are not robust even under conservative extension of operational semantics specifications, i.e., ...
(PDF) Robustness of Equations Under Operational Extensions
www.researchgate.net › publication › 22...
Sound behavioral equations on open terms may become unsound after conservative extensions of the underlying operational semantics. Providing criteria under ...
This paper investigates preservation of sound equations for several notions of bisimilarity on open terms: closed-instance (ci-) Bisimilarity and ...
Title, Robustness of equations under operational extensions. Author, P. D. Mosses and Mohammad Reza Mousavi and M. A. Reniers.
Robustness of Equations Under Operational Extensions. Peter D. Mosses Mohammad Reza Mousavi Michel A. Reniers. Published in: EXPRESS (2010). Keyphrases.
Abstract. Sound behavioral equations on open terms may become unsoundafter conservative extensions ofthe underlying operational semantics.
In 1981 Structural Operational Semantics (SOS) was introduced as a systematic way to define operational semantics of programming languages by a set of rules ...
This paper investigates preservation of sound equations for several notions of bisimilarity on open terms: closed-instance (ci-)bisimilarity and formal- ...