Compositional Temporal Logic Based on Partial Order

Authors:
Adrianna Alexander;Wolfgang Reisig
Affiliations:
Humboldt-Universität zu Berlin;Humboldt-Universität zu Berlin
Venue:
TIME '04 Proceedings of the 11th International Symposium on Temporal Representation and Reasoning
Year:
2004

Citing 0
Cited 2

Compositional verification with stutter-invariant propositional projection temporal logic

ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
A survey on temporal logics for specifying and verifying real-time systems

Frontiers of Computer Science: Selected Publications from Chinese Universities

Quantified Score

Hi-index	0.00

Visualization

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.