Compositional Temporal Logic Based on Partial Order Adrianna Alexander and Wolfgang Reisig   View Paper (PDF)   Return to Research Papers Abstract 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. BIBTEX @inproceedings{DBLP:conf/time/AlexanderR04,    author    = {Adrianna Alexander and                 Wolfgang Reisig},    title     = {Compositional Temporal Logic Based on Partial Order.},    booktitle = {TIME},    year      = {2004},    pages     = {125-132},    ee        = {http://csdl.computer.org/comp/proceedings/time/2004/2155/00/21550125abs.htm},    crossref  = {conf/time/2004},    bibsource = {DBLP, http://dblp.uni-trier.de}  }  @proceedings{DBLP:conf/time/2004,    title     = {11th International Symposium on Temporal Representation                 and Reasoning (TIME 2004), 1-3 July 2004, Tatihou Island,                 Normandie, France},    booktitle = {TIME},    publisher = {IEEE Computer Society},    year      = {2004},    isbn      = {0-7695-2155-X},    bibsource = {DBLP, http://dblp.uni-trier.de}  } }, ©2005 Association for Computing Machinery