Sökning: id:"swepub:oai:DiVA.org:hh-23679" >
Algebraic Meta-Theo...
Algebraic Meta-Theory of Processes with Data
-
- Gebler, Daniel (författare)
- Vrije Universiteit, Amsterdam, The Netherlands,Department of Computer Science
-
- Goriac, Eugen-Ioan (författare)
- Reykjavik University, Reyjkjavik, Iceland,ICE-TCS, School of Computer Science
-
- Mousavi, Mohammad Reza, 1978- (författare)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
(creator_code:org_t)
- Open Publishing Association, 2013
- 2013
- Engelska.
-
Ingår i: Proceedings Combined 20th International Workshop on Expressiveness in Concurrency and 10th Workshop on Structural Operational Semantics. - : Open Publishing Association. ; , s. 63-77
- Relaterad länk:
-
https://doi.org/10.4...
-
visa fler...
-
https://hh.diva-port... (primary) (Raw object)
-
https://urn.kb.se/re...
-
https://doi.org/10.4...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Structural Operational Semantics
- Equational Theory
- Process Algebra
- Formal Semantics
- Data and Store
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)