Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Rule Formats for Distributivity Luca Aceto1
 

Summary: Rule Formats for Distributivity
Luca Aceto1
, Matteo Cimini1
, Anna Ingolfsdottir1
,
MohammadReza Mousavi2
, and Michel A. Reniers3
1
ICE-TCS, School of Computer Science, Reykjavik University,
Menntavegur 1, IS 101 Reykjavik, Iceland
2
Department of Computer Science, Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
3
Department of Mechanical Engineering, Eindhoven University of Technology,
P.O. Box 513, NL-5600 MB Eindhoven, The Netherlands
Abstract. 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 for-

  

Source: Aceto, Luca - School of Computer Science, Reykjavík University

 

Collections: Mathematics; Computer Technologies and Information Sciences