The benefits of relaxing punctuality

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

The benefits of relaxing punctuality

Full text

Pdf (1.42 MB)

Source

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

Montreal, Quebec, Canada

Pages: 139 - 152

Year of Publication: 1991

ISBN:0-89791-439-2

Authors

Rajeev Alur	Department of Computer Science, Stanford University, Stanford, CA
Tomás Feder	Bell communications Research, Morristown, NJ
Thomas A. Henzinger	Department of Computer Science, Stanford University, Stanford, CA

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): 2, Downloads (12 Months): 21, Citation Count: 12

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/112600.112613 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.

	ACD90	R. Alur, C. Gourcoubetis, and D. L. Dig. Model-checking for real-time systems, in Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
	AD90	Rajeev Alur , D. L. Dill, Automata for modeling real-time systems, Proceedings of the seventeenth international colloquium on Automata, languages and programming, p.322-335, July 1990, Warwick University, England
	AH89	R. Alur and T. A. Henzinger. A really temporal logic, in Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science, 1989.
	AH90	R. Alur and T. A. Henzinger. Real-time logics: complexity and expressiveness. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
	BCM+90	J. R. Burch, E. M. Clarke, K. L. McMillan, D. L. Dill, and L. J. Hwang. Symbolic model checking: 1020 states and beyond. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
	EMSS89	E. A. Emerson, A. K. Mok, A. P. Sistla, and J. Srinivasan. Quantitative temporal reasoning. Presented at the First Annual Workshop on Computer-aided Verification, Grenoble, France, 1989.
	HLP90	E. Harel, O. Lichtenstein, and A. Pnueli. Expllcit-clock temporal logic. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
	JM86	F Jahanian , A K Mok, Safety analysis of timing properties in real-time systems, IEEE Transactions on Software Engineering, v.12 n.9, p.890-904, Sept. 1986
	Koy90	Ron Koymans, Specifying real-time properties with metric temporal logic, Real-Time Systems, v.2 n.4, p.255-299, Nov. 1990 [doi>10.1007/BF01995674]
	Lew90	H.R. Lewis. A logic of concrete time intervals. In Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, 1990.
	LP84	O. Lichtenstein and A. Pnueli. Checking that finite-state concurrent programs satisfy their linear specification. In Proceedings of the llth Annual A CM Symposium on Principles of Programming Languages, 1984.
	Ost90	Jonathan S. Ostroff, Temporal logic for real time systems, John Wiley & Sons, Inc., New York, NY, 1989
	Rog67	Hartley Rogers, Jr., Theory of recursive functions and effective computability, MIT Press, Cambridge, MA, 1987
	Tho90	Wolfgang Thomas, Automata on infinite objects, Handbook of theoretical computer science (vol. B): formal models and semantics, MIT Press, Cambridge, MA, 1991

CITED BY 12

	Thomas A. Henzinger , Peter W. Kopke , Anuj Puri , Pravin Varaiya, What's decidable about hybrid automata?, Proceedings of the twenty-seventh annual ACM symposium on Theory of computing, p.373-382, May 29-June 01, 1995, Las Vegas, Nevada, United States
	Rajeev Alur , Thomas A. Henzinger , Moshe Y. Vardi, Parametric real-time reasoning, Proceedings of the twenty-fifth annual ACM symposium on Theory of computing, p.592-601, May 16-18, 1993, San Diego, California, United States
	Rajeev Alur , Thomas A. Henzinger, A really temporal logic, Journal of the ACM (JACM), v.41 n.1, p.181-203, Jan. 1994
	Rajeev Alur , Thomas A. Henzinger , Pei-Hsin Ho, Automatic Symbolic Verification of Embedded Systems, IEEE Transactions on Software Engineering, v.22 n.3, p.181-201, March 1996
	Alberto Coen-Porisini , Carlo Ghezzi , Richard A. Kemmerer, Specification of realtime systems using ASTRAL, IEEE Transactions on Software Engineering, v.23 n.9, p.572-598, September 1997
	Danny Dolev, Century papers at the first quarter-century milestone, Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing, p.3-4, July 23-26, 2006, Denver, Colorado, USA
	Fahiem Bacchus , Froduald Kabanza, Planning for temporally extended goals, Annals of Mathematics and Artificial Intelligence, v.22 n.1-2, p.5-27, 1998
	Jonas Kvarnström , Patrick Doherty, TALplanner: A temporal logic based forward chaining planner, Annals of Mathematics and Artificial Intelligence, v.30 n.1-4, p.119-169, 2000
	Amy W. Apon , Larry W. Dowdy, Specification of Realtime Systems Using ASTRAL, IEEE Transactions on Software Engineering, v.23 n.9, p.572-598, September 1997
	Patricia Bouyer, Model-checking Timed Temporal Logics, Electronic Notes in Theoretical Computer Science (ENTCS), 231, p.323-341, March, 2009
	Alfredo Gabaldon, Compiling control knowledge into preconditions for planning in the situation calculus, Proceedings of the 18th international joint conference on Artificial intelligence, p.1061-1066, August 09-15, 2003, Acapulco, Mexico
	Victor Braberman , Nicolas Kicillof , Alfredo Olivero, A Scenario-Matching Approach to the Description and Model Checking of Real-Time Properties, IEEE Transactions on Software Engineering, v.31 n.12, p.1028-1041, December 2005