| | |
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
|
