Rule Formats for Distributivity

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

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.

Cimini, MatteoICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (författare)
Ingólfsdóttir, AnnaICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland (författare)
Mousavi, Mohammad Reza,1978-Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands(Swepub:hh)mohmou (författare)
Reniers, Michael A.Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands (författare)
ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, IcelandDepartment of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands (creator_code:org_t)

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

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.