Half-order modal logic: how to prove real-time properties

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Half-order modal logic: how to prove real-time properties

Full text

Pdf (1.71 MB)

Source

Annual ACM Symposium on Principles of Distributed Computing archive
Proceedings of the ninth annual ACM symposium on Principles of distributed computing table of contents

Quebec City, Quebec, Canada

Pages: 281 - 296

Year of Publication: 1990

ISBN:0-89791-404-X

Author

Tom Henzinger

Department of Computer Science, Stanford University

Sponsors

SIGOPS: ACM Special Interest Group on Operating Systems
SIGACT: ACM Special Interest Group on Algorithms and Computation Theory

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 13, Citation Count: 6

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/93385.93429 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	AH89	R. Alur, T.A. Henzinger, "A really temporal logic," 30th IEEE FOCS, 1989.
	AH90	R. Alur, T.A. Henzinger, "Real-time logics: complexity and expressiveness," 5th IEEE LICS, 1990.
	En72	H.B. Enderton, A Mathematical Introduction to Logic, Academic Press, 1972.
	Ga84	J.W. Garson, "Quantification in modal logic," Handbook of Philosophical Logic, Vol. H (D. Gabbay and F. Guenthner, eds.), Reidel, 1984.
	Go87	Robert Goldblatt, Logics of time and computation, Center for the Study of Language and Information, Stanford, CA, 1987
	GPSS80	Dov Gabbay , Amir Pnueli , Saharon Shelah , Jonathan Stavi, On the temporal analysis of fairness, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.163-173, January 28-30, 1980, Las Vegas, Nevada [doi>10.1145/567446.567462]
	MP89	Zohar Manna , Amir Pnueli, The anchored version of the temporal framework, Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, School/Workshop, p.201-284, May 30-June 03, 1988
	Os90	J.S. Ostro~', Temporal Logic for Real-time Systems, Research Studies Press, }989.
	PH88	Amir Pnueli , Eyal Harel, Applications of temporal logic to the specification of real time systems (extended abstract), Proceedings of a Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, p.84-98, September 1988, Warwick, United Kingdom

CITED BY 6

	Seung Mo Cho , Hyung Ho Kim , Sung Deok Cha , Doo Hwan Bae, A semantics of sequence diagrams, Information Processing Letters, v.84 n.3, p.125-130, 15 November 2022
	Rajeev Alur , Thomas A. Henzinger, A really temporal logic, Journal of the ACM (JACM), v.41 n.1, p.181-203, Jan. 1994
	P. -Y. Schobbens , J. -F. Raskin , T. A. Henzinger, Axioms for real-time logics, Theoretical Computer Science, v.274 n.1-2, p.151-182, March 6, 2002
	A. Prasad Sistla , Ouri Wolfson, Temporal Triggers in Active Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.3, p.471-486, June 1995
	Stéphane Demri , Ranko Lazić , David Nowak, On the freeze quantifier in Constraint LTL: Decidability and complexity, Information and Computation, v.205 n.1, p.2-24, January, 2007
	Giorgio Brajnik , Daniel J. Clancy, Focusing qualitative simulation using temporal logic: theoretical foundations, Annals of Mathematics and Artificial Intelligence, v.22 n.1-2, p.59-86, 1998