Publications:Algebraic Meta-Theory of Processes with Data

From CERES
Revision as of 05:43, 26 June 2014 by Slawek (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title Algebraic Meta-Theory of Processes with Data
Author Daniel Gebler and Eugen-Ioan Goriac and Mohammad Reza Mousavi
Year 2013
PublicationType Conference Paper
Journal
HostPublication Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics
DOI http://dx.doi.org/10.4204/EPTCS.120.6
Conference EXPRESS/SOS 2013, Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics, August 26, 2013 Buenos Aires, Argentina
Diva url http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:651738
Abstract There exists a rich literature of rule formats guaranteeing different algebraic properties for formalismswith a Structural Operational Semantics. Moreover, there exist a few approaches for automatically deriving axiomatizations characterizing strong bisimilarity of processes. To our knowledge, this literature has never been extended to the setting with data (e.g., to model storage and memory). We show how the rule formats for algebraic properties can be exploited in a generic manner in the setting with data. Moreover, we introduce a new approach for deriving sound and ground-complete axiomschemata for a notion of bisimilarity with data, called stateless bisimilarity, based on intuitive auxiliary function symbols for handling the store component. We do restrict, however, the axiomatization to the setting where the store component is only given in terms of constants.