Sökning: onr:"swepub:oai:DiVA.org:hh-20333" >
Rule Formats for Di...
-
Aceto, LucaSchool of Computer Science, Reykjavik University, Iceland
(författare)
Rule Formats for Distributivity
- Artikel/kapitelEngelska2011
Förlag, utgivningsår, omfång ...
-
Heidelberg :Springer Berlin/Heidelberg,2011
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20333
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20333URI
Kompletterande språkuppgifter
-
Språk:engelska
-
Sammanfattning på:engelska
Ingår i deldatabas
Klassifikation
-
Ämneskategori:ref swepub-contenttype
-
Ämneskategori:kon swepub-publicationtype
Anmärkningar
-
This paper proposes rule formats for Structural Operational Semantics guaranteeing that certain binary operators are left distributive with respect to a set of binary operators. Examples of left-distributivity laws from the literature are shown to be instances of the provided formats. © 2011 Springer-Verlag.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Cimini, MatteoSchool of Computer Science, Reykjavik University, Iceland
(författare)
-
Ingólfsdóttir, AnnaSchool of Computer Science, Reykjavik University, Iceland
(författare)
-
Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands(Swepub:hh)mohmou
(författare)
-
Reniers, Michel A.Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands
(författare)
-
School of Computer Science, Reykjavik University, IcelandDepartment of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:Language and Automata Theory and ApplicationsHeidelberg : Springer Berlin/Heidelberg, s. 79-909783642212536
Internetlänk
Hitta via bibliotek
Till lärosätets databas