loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
11th International Symposium on Temporal Representation and Reasoning (TIME'04)
Compositional Temporal Logic Based on Partial Order
Tatihou, Normandie, France
July 01-July 03
ISBN: 0-7695-2155-X
ASCII Text
x 
 
Adrianna Alexander, Wolfgang Reisig, "Compositional Temporal Logic Based on Partial Order," Temporal Representation and Reasoning, International Syposium on, pp. 125-132, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/TIME.2004.1314429,
author = {Adrianna Alexander and Wolfgang Reisig},
title = {Compositional Temporal Logic Based on Partial Order},
journal ={Temporal Representation and Reasoning, International Syposium on},
volume = {0},
year = {2004},
issn = {1530-1311},
pages = {125-132},
doi = {http://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314429},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Temporal Representation and Reasoning, International Syposium on
TI - Compositional Temporal Logic Based on Partial Order
SN - 1530-1311
SP125
EP132
A1 - Adrianna Alexander,
A1 - Wolfgang Reisig,
PY - 2004
KW - null
VL - 0
JA - Temporal Representation and Reasoning, International Syposium on
ER -
 
Adrianna Alexander, Humboldt-Universit?t zu Berlin
Wolfgang Reisig, Humboldt-Universit?t zu Berlin
The Temporal Logic of Distributed Actions (TLDA) is a new temporal logic designed for the specification and verification of distributed systems. The logic supports a compositional design of systems: subsystems can be specified separately and then be integrated into one system. TLDA can be syntactically viewed as an extension of TLA. We propose a different semantical model based on partial order which increases the expressiveness of the logic.
Citation:
Adrianna Alexander, Wolfgang Reisig, "Compositional Temporal Logic Based on Partial Order," time, pp.125-132, 11th International Symposium on Temporal Representation and Reasoning (TIME'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.