https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3ARule_formats_for_distributivityPublications:Rule formats for distributivity - Revision history2026-05-23T12:54:57ZRevision history for this page on the wikiMediaWiki 1.22.6https://wiki.hh.se/ceres/index.php?title=Publications:Rule_formats_for_distributivity&diff=4099&oldid=prevSlawek: Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Mic..."2014-06-26T03:43:17Z<p>Created page with "<div style='display: none'> == Do not edit this section == </div> {{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Mic..."</p>
<p><b>New page</b></p><div><div style='display: none'><br />
== Do not edit this section ==<br />
</div><br />
{{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingólfsdóttir, Mohammad Reza Mousavi, Michael A. Reniers<br />
|PID=584470<br />
|Name=Aceto, Luca (ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland);Cimini, Matteo (ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland);Ingólfsdóttir, Anna (ICE-TCS, School of Computer Science, Reykjavik University, Reykjavik, Iceland);Mousavi, Mohammad Reza [mohmou] (Department of Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands);Reniers, Michael A. (Department of Mechanical Engineering, Eindhoven University of Technology, Eindhoven, The Netherlands)<br />
|Title=Rule formats for distributivity<br />
|PublicationType=Report<br />
|ContentType=Övrigt vetenskapligt<br />
|Language=eng<br />
|Journal=<br />
|JournalISSN=<br />
|Status=<br />
|Volume=<br />
|Issue=<br />
|HostPublication=<br />
|Conference=<br />
|StartPage=<br />
|EndPage=<br />
|Year=2010<br />
|Edition=<br />
|Pages=39<br />
|City=Eindhoven<br />
|Publisher=Technische Universiteit Eindhoven<br />
|Series=Computer science reports ; 10-16<br />
|SeriesISSN=<br />
|ISBN=<br />
|Urls=http://alexandria.tue.nl/repository/books/695282.pdf<br />
|ISRN=<br />
|DOI=<br />
|ISI=<br />
|PMID=<br />
|ScopusId=<br />
|NBN=urn:nbn:se:hh:diva-20536<br />
|LocalId=<br />
|ArchiveNumber=<br />
|Keywords=<br />
|Categories=Data- och informationsvetenskap (102)<br />
|ResearchSubjects=<br />
|Projects=<br />
|Notes=<br />
|Abstract=<p>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.</p><br />
|Opponents=<br />
|Supervisors=<br />
|Examiners=<br />
|Patent=<br />
|ThesisLevel=<br />
|Credits=<br />
|Programme=<br />
|Subject=<br />
|Uppsok=<br />
|DefencePlace=<br />
|DefenceLanguage=<br />
|DefenceDate=<br />
|CreatedDate=2013-01-08<br />
|PublicationDate=2013-01-09<br />
|LastUpdated=2013-09-24<br />
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:584470}}<br />
<div style='display: none'><br />
<br />
== Keep all hand-made modifications below ==<br />
</div>{{PublicationDisplayTemplate}}</div>Slawek