A complete temporal and spatial logic for distributed dystems

Pattinson, Dirk and Reus, Bernhard (2005) A complete temporal and spatial logic for distributed dystems. In: Gramlich, Bernhard (ed.) Frontiers of Combining Systems: Proceedings of the 5th International Workshop, FroCoS 2005, Vienna, Austria. Lecture Notes in Computer Science, 3717 . Springer, pp. 122-137. ISBN 9783540290513

[img] PDF
Restricted to SRO admin only

Download (275kB)


In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that allows us to reason about the spatial structure of a computation, and linear temporal logic, which accounts for the temporal aspects. On the pragmatic side, we show the wide applicability of this logic by means of many examples. Our main technical contribution is completeness of the logic both with respect to spatial/temporal structures and a class of spatial transition systems. This work was partially sponsored by the DAAD and the British Council in the ARC project 1205 “Temporal and Spatial Logic for Mobile Systems”.

Item Type: Book Section
Schools and Departments: School of Engineering and Informatics > Informatics
Subjects: Q Science > QA Mathematics > QA0075 Electronic computers. Computer science
Depositing User: Chris Keene
Date Deposited: 03 Mar 2008
Last Modified: 08 Nov 2013 14:24
URI: http://sro.sussex.ac.uk/id/eprint/1427
Google Scholar:5 Citations

View download statistics for this item

📧 Request an update