Search: onr:"swepub:oai:DiVA.org:hh-20324" >
Rule Formats for Di...
-
Aceto, LucaICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
(author)
Rule Formats for Distributivity
- Article/chapterEnglish2012
Publisher, publication year, extent ...
-
Elsevier BV,2012
-
printrdacarrier
Numbers
-
LIBRIS-ID:oai:DiVA.org:hh-20324
-
https://urn.kb.se/resolve?urn=urn:nbn:se:hh:diva-20324URI
-
https://doi.org/10.1016/j.tcs.2012.07.036DOI
Supplementary language notes
-
Language:English
-
Summary in:English
Part of subdatabase
Classification
-
Subject category:ref swepub-contenttype
-
Subject category:art swepub-publicationtype
Notes
-
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. Some conditions ensuring the invalidity of the left-distributivity law are also offered. © 2012 Elsevier B.V. All rights reserved.
Subject headings and genre
Added entries (persons, corporate bodies, meetings, titles ...)
-
Cimini, MatteoICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
(author)
-
Ingolfsdottir, AnnaICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland
(author)
-
Mousavi, Mohammad RezaDepartment of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands(Swepub:hh)mohmou
(author)
-
Reniers, Michel A.Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands
(author)
-
ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, IcelandDepartment of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands
(creator_code:org_t)
Related titles
-
In:Theoretical Computer Science: Elsevier BV458, s. 1-280304-39751879-2294
Internet link
Find in a library
To the university's database