Search: onr:"swepub:oai:DiVA.org:hh-23679" >
Algebraic Meta-Theo...
Algebraic Meta-Theory of Processes with Data
-
- Gebler, Daniel (author)
- Vrije Universiteit, Amsterdam, The Netherlands,Department of Computer Science
-
- Goriac, Eugen-Ioan (author)
- Reykjavik University, Reyjkjavik, Iceland,ICE-TCS, School of Computer Science
-
- Mousavi, Mohammad Reza, 1978- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Open Publishing Association, 2013
- 2013
- English.
-
In: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. - : Open Publishing Association. ; , s. 63-77
- Related links:
-
https://doi.org/10.4...
-
show more...
-
https://hh.diva-port... (primary) (Raw object)
-
https://urn.kb.se/re...
-
https://doi.org/10.4...
-
show less...
Abstract
Subject headings
Close
- There exists a rich literature of rule formats guaranteeing different algebraic properties for formalisms with 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 genericmanner in the setting with data. Moreover, we introduce a new approach for deriving sound and ground-complete axiom schemata 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. © Gebler, Goriac & Mousavi.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Keyword
- Structural Operational Semantics
- Equational Theory
- Process Algebra
- Formal Semantics
- Data and Store
Publication and Content Type
- ref (subject category)
- kon (subject category)
To the university's database