hh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Exploiting Algebraic Laws to Improve Mechanized Axiomatizations
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland.
Högskolan i Halmstad, Sektionen för Informationsvetenskap, Data– och Elektroteknik (IDE), Halmstad Embedded and Intelligent Systems Research (EIS), Centrum för forskning om inbyggda system (CERES).ORCID-id: 0000-0002-4869-6794
Vise andre og tillknytning
2013 (engelsk)Inngår i: Algebra and Coalgebra in Computer Science: 5th International Conference, Calco 2013, Warsaw, Poland, September 2013, Proceedings, Berlin: Springer Berlin/Heidelberg, 2013, s. 36-50Konferansepaper, Publicerat paper (Fagfellevurdert)
Abstract [en]

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.

sted, utgiver, år, opplag, sider
Berlin: Springer Berlin/Heidelberg, 2013. s. 36-50
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8089
Emneord [en]
Process Algebra, Structural Operational Semantics, Bisimulation, Ground Complete Axiomatization, Algebraic Properties, Rule Formats
HSV kategori
Identifikatorer
URN: urn:nbn:se:hh:diva-22060DOI: 10.1007/978-3-642-40206-7_5Scopus ID: 2-s2.0-84885981989Libris ID: 14699888ISBN: 9783642402067 ISBN: 9783642402050 OAI: oai:DiVA.org:hh-22060DiVA, id: diva2:619611
Konferanse
CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland, September 3-6, 2013
Prosjekter
Meta-theory of Algebraic Process TheoriesExtending and Axiomatizing Structural Operational Semantics: Theory and Tools
Forskningsfinansiär
eLLIIT - The Linköping‐Lund Initiative on IT and Mobile CommunicationsTilgjengelig fra: 2013-05-06 Laget: 2013-05-06 Sist oppdatert: 2018-01-11bibliografisk kontrollert

Open Access i DiVA

fulltext(246 kB)158 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 246 kBChecksum SHA-512
5045eb8bb61f681d5a1fd5979314494f849a513652d925233d73c4fa25e5ce3b03395633e689184de2d0fdd76843bab06cb29d3f855ec7dae4a4fe61ad2035b2
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekstScopus

Personposter BETA

Mousavi, Mohammad Reza

Søk i DiVA

Av forfatter/redaktør
Mousavi, Mohammad Reza
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 183 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 587 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf