View source for Publications:Decompositional reasoning about the history of parallel processes

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=L. Aceto, A. Birgisson, A. Ingólfsdóttir, Mohammad Reza Mousavi
|PID=583440
|Name=Aceto, L. (School of Computer Science, Reykjavik University, Iceland);Birgisson, A. (Department of Computer Science and Engineering, Chalmers University of Technology, Sweden);Ingólfsdóttir, A. (School of Computer Science, Reykjavik University, Iceland);Mousavi, Mohammad Reza [mohmou] ( Department of Computer Science, TU/Eindhoven, Eindhoven, Netherlands)
|Title=Decompositional reasoning about the history of parallel processes
|PublicationType=Report
|ContentType=Övrigt vetenskapligt
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=
|Issue=
|HostPublication=
|Conference=
|StartPage=
|EndPage=
|Year=2010
|Edition=
|Pages=
|City=Eindhoven
|Publisher=Technische Universiteit Eindhoven
|Series=
|SeriesISSN=
|ISBN=
|Urls=
|ISRN=
|DOI=
|ISI=
|PMID=
|ScopusId=
|NBN=urn:nbn:se:hh:diva-20539
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Data- och informationsvetenskap (102)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-08
|PublicationDate=2013-01-08
|LastUpdated=2013-09-23
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583440}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}