The Community for Technology Leaders
Third International Conference on Application of Concurrency to System Design, 2003. Proceedings. (2003)
Guimar?es, Portugal
June 18, 2003 to June 20, 2003
ISBN: 0-7695-1887-7
pp: 167
Adrianna Alexander , Humboldt-Universit?t zu Berlin
Wolfgang Reisig , Humboldt-Universit?t zu Berlin
ABSTRACT
The Temporal Logic of Distributed Actions (TLDA) is a new temporal logic designed for the specification and verification of distributed systems. TLDA can be syntactically viewed as a slight extension of TLA. We propose a different semantical model based on partial order which evidently increases the expressiveness of the logic. Local variable updates in a system are explicitly modeled and expressed by TLDA formulas. Consequently, we can distinguish between concurrency and nondeterministic choice. All valuable features of TLA (composition is conjunction, implementation is implication) are retained. In addition, we are able to describe some important phenomena and properties typical for distributed systems.
INDEX TERMS
null
CITATION

W. Reisig and A. Alexander, "Logic of Involved Variables — System Specification with Temporal Logic of Distributed Actions," Third International Conference on Application of Concurrency to System Design, 2003. Proceedings.(ACSD), Guimar?es, Portugal, 2003, pp. 167.
doi:10.1109/CSD.2003.1207711
87 ms
(Ver 3.3 (11022016))