Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Decompositional Reasoning about the History of Parallel Processes
 

Summary: Decompositional Reasoning about the History of
Parallel Processes
Luca Aceto1
, Arnar Birgisson1,2
,
Anna Ingolfsdottir1
, and MohammadReza Mousavi3
1
School of Computer Science, Reykjavik University, Iceland
2
Department of Computer Science and Engineering,
Chalmers University of Technology, Sweden
3
Department of Computer Science, TU/Eindhoven, The Netherlands
Abstract. Decompositional reasoning aims at automatically decompos-
ing a global property of a composite system into local properties of (pos-
sibly unknown) components. In concurrency theory, decompositional rea-
soning techniques date back to the seminal work of Larsen and Liu in the
late 1980s and early 1990s. However, we are not aware of any such de-
composition technique that applies to reasoning about the "past". In this

  

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

 

Collections: Mathematics; Computer Technologies and Information Sciences