IEEE - Institute of Electrical and Electronics Engineers, Inc. - A Labeled Tableaux System for the Distributed Temporal Logic DTL

2008 15th International Symposium on Temporal Representation and Reasoning (TIME '08)

Author(s): D. Basin ; C. Caleiro ; J. Ramos ; L. Vigano
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 June 2008
Conference Location: Montreal, QC, Canada
Conference Date: 16 June 2008
Page(s): 101 - 109
ISBN (Paper): 978-0-7695-3181-6
ISSN (Paper): 1530-1311
DOI: 10.1109/TIME.2008.21
Regular:

DTL is a distributed temporal logic for reasoning about temporal properties of distributed systems from the local point of view of the system's agents, which are assumed to execute sequentially... View More

Advertisement