University of Sussex
Browse

File(s) under permanent embargo

A complete temporal and spatial logic for distributed dystems

chapter
posted on 2023-06-07, 14:13 authored by Dirk Pattinson, Bernhard ReusBernhard Reus
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”.

History

Publication status

  • Published

Journal

Frontiers of Combining Systems (FroCoS)

Publisher

Springer

Volume

3717

Page range

122-137

Pages

321.0

Book title

Frontiers of Combining Systems: Proceedings of the 5th International Workshop, FroCoS 2005, Vienna, Austria

ISBN

9783540290513

Series

Lecture Notes in Computer Science

Department affiliated with

  • Informatics Publications

Full text available

  • No

Peer reviewed?

  • Yes

Editors

Bernhard Gramlich

Legacy Posted Date

2008-03-03

Usage metrics

    University of Sussex (Publications)

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC