Search: onr:"swepub:oai:DiVA.org:hh-22060" >
Exploiting Algebrai...
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
-
- Aceto, Luca (author)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Goriac, Eugen-Ioan (author)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
- Ingolfsdottir, Anna (author)
- ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland
-
show more...
-
- Mousavi, Mohammad Reza, 1978- (author)
- Högskolan i Halmstad,Centrum för forskning om inbyggda system (CERES)
-
- Reniers, Michel A. (author)
- Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands
-
show less...
-
(creator_code:org_t)
- Berlin : Springer Berlin/Heidelberg, 2013
- 2013
- English.
-
In: Algebra and Coalgebra in Computer Science. - Berlin : Springer Berlin/Heidelberg. - 9783642402067 - 9783642402050 ; , s. 36-50
- Related links:
-
https://hh.diva-port... (primary) (Raw object)
-
show more...
-
http://www.ru.is/fac...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- In the field of structural operational semantics (SOS), there have been several proposals both for syntactic rule formats guaranteeing the validity of algebraic laws, and for algorithms for automatically generating ground-complete axiomatizations. However, there has been no synergy between these two types of results. This paper takes the first steps in marrying these two areas of research in the meta-theory of SOS and shows that taking algebraic laws into account in the mechanical generation of axiomatizations results in simpler axiomatizations. The proposed theory is applied to a paradigmatic example from the literature, showing that, in this case, the generated axiomatization coincides with a classic hand-crafted one. © 2013 Springer-Verlag Berlin Heidelberg.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- Process Algebra
- Structural Operational Semantics
- Bisimulation
- Ground Complete Axiomatization
- Algebraic Properties
- Rule Formats
Publication and Content Type
- ref (subject category)
- kon (subject category)
Find in a library
To the university's database