https://wiki.hh.se/ceres/index.php?action=history&feed=atom&title=Publications%3ARule_Formats_for_Distributivity 2026-05-23T03:02:53Z Revision history for this page on the wiki MediaWiki 1.22.6 https://wiki.hh.se/ceres/index.php?title=Publications:Rule_Formats_for_Distributivity&diff=4096&oldid=prev 2014-06-26T03:43:15Z

<p>Created page with &quot;&lt;div style=&#039;display: none&#039;&gt; == Do not edit this section == &lt;/div&gt; {{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Miche...&quot;</p> <p><b>New page</b></p><div>&lt;div style='display: none'&gt;<br /> == Do not edit this section ==<br /> &lt;/div&gt;<br /> {{PublicationSetupTemplate|Author=Luca Aceto, Matteo Cimini, Anna Ingolfsdottir, Mohammad Reza Mousavi, Michel A. Reniers<br /> |PID=583413<br /> |Name=Aceto, Luca (ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland);Cimini, Matteo (ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland);Ingolfsdottir, Anna (ICE-TCS, School of Computer Science, Reykjavik University, Menntavegur 1, IS 101 Reykjavik, Iceland);Mousavi, Mohammad Reza [mohmou] (Department of Computer Science, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands);Reniers, Michel A. (Department of Mechanical Engineering, Eindhoven University of Technology, P.O. Box 513, NL-5600 MB Eindhoven, Netherlands)<br /> |Title=Rule Formats for Distributivity<br /> |PublicationType=Journal Paper<br /> |ContentType=Refereegranskat<br /> |Language=eng<br /> |Journal=Theoretical Computer Science<br /> |JournalISSN=0304-3975<br /> |Status=published<br /> |Volume=458<br /> |Issue=<br /> |HostPublication=<br /> |Conference=<br /> |StartPage=1<br /> |EndPage=28<br /> |Year=2012<br /> |Edition=<br /> |Pages=<br /> |City=<br /> |Publisher=<br /> |Series=<br /> |SeriesISSN=<br /> |ISBN=<br /> |Urls=<br /> |ISRN=<br /> |DOI=http://dx.doi.org/10.1016/j.tcs.2012.07.036<br /> |ISI=000310184900001<br /> |PMID=<br /> |ScopusId=2-s2.0-84866744033<br /> |NBN=urn:nbn:se:hh:diva-20324<br /> |LocalId=<br /> |ArchiveNumber=<br /> |Keywords=<br /> |Categories=Data- och informationsvetenskap (102)<br /> |ResearchSubjects=<br /> |Projects=<br /> |Notes=<br /> |Abstract=&lt;p&gt;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.&lt;/p&gt;<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-08<br /> |LastUpdated=2013-01-10<br /> |diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&amp;pid=diva2:583413}}<br /> &lt;div style='display: none'&gt;<br /> <br /> == Keep all hand-made modifications below ==<br /> &lt;/div&gt;{{PublicationDisplayTemplate}}</div>

Slawek