Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat 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
Visa övriga samt affilieringar
2013 (Engelska)Ingå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-50Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
Berlin: Springer Berlin/Heidelberg, 2013. s. 36-50
Serie
Lecture Notes in Computer Science, ISSN 0302-9743 ; 8089
Nyckelord [en]
Process Algebra, Structural Operational Semantics, Bisimulation, Ground Complete Axiomatization, Algebraic Properties, Rule Formats
Nationell ämneskategori
Data- och informationsvetenskap
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
Konferens
CALCO 2013, The 5th Conference on Algebra and Coalgebra in Computer Science, Warsaw, Poland, September 3-6, 2013
Projekt
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 CommunicationsTillgänglig från: 2013-05-06 Skapad: 2013-05-06 Senast uppdaterad: 2018-01-11Bibliografiskt granskad

Open Access i DiVA

fulltext(246 kB)131 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 246 kBChecksumma SHA-512
5045eb8bb61f681d5a1fd5979314494f849a513652d925233d73c4fa25e5ce3b03395633e689184de2d0fdd76843bab06cb29d3f855ec7dae4a4fe61ad2035b2
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltextScopus

Sök vidare i DiVA

Av författaren/redaktören
Mousavi, Mohammad Reza
Av organisationen
Centrum för forskning om inbyggda system (CERES)
Data- och informationsvetenskap

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 156 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 348 träffar
RefereraExporteraLänk till posten
Permanent länk

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