A rule format for unit elements

Aceto, LucaICE-TCS, School of Computer Science, Reykjavik University Kringlan 1, IS-103 Reykjavik, Iceland (författare)

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.

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)

Ingår i:SOFSEM 2010Berlin : Springer Berlin/Heidelberg, s. 141-15297836421126529783642112669

Av författaren/redakt...: Aceto, Luca; Ingólfsdóttir, A ...; Mousavi, Mohamma ...; Reniers, Michel ...

Om ämnet

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.