Compositional Temporal Logic Based on Partial Order

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Adrianna Alexander Articles by Wolfgang Reisig

11th International Symposium on Temporal Representation and Reasoning (TIME'04)

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

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TIME.2004.1314429

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

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.