Sökning: onr:"swepub:oai:DiVA.org:hh-20512" >
A rule format for u...
-
Aceto, LucaICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland
(författare)
A rule format for unit elements
- Artikel/kapitelEngelska2010
Förlag, utgivningsår, omfång ...
-
Berlin :Springer Berlin/Heidelberg,2010
-
printrdacarrier
Nummerbeteckningar
-
LIBRIS-ID:oai:DiVA.org:hh-20512
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20512URI
-
https://doi.org/10.1007/978-3-642-11266-9_12DOI
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 offers a meta-theorem for languages with a Structural Operational Semantics (SOS) in the style of Plotkin. Namely, it proposes a generic rule format for SOS guaranteeing that certain constants act as left- or right-unit elements for a set of binary operators. We show the generality of our format by applying it to a wide range of operators from the literature on process calculi.
Ämnesord och genrebeteckningar
Biuppslag (personer, institutioner, konferenser, titlar ...)
-
Ingólfsdóttir, AnnaICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland
(författare)
-
Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands(Swepub:hh)mohmou
(författare)
-
Reniers, Michel A.Department of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands
(författare)
-
ICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, IcelandDepartment of Computer Science, Eindhoven University of Technology P.O. Box 513, NL-5600 MB Ei ndhoven, The Netherlands
(creator_code:org_t)
Sammanhörande titlar
-
Ingår i:SOFSEM 2010Berlin : Springer Berlin/Heidelberg, s. 141-15297836421126529783642112669
Internetlänk
Hitta via bibliotek
Till lärosätets databas