Martin Abadi, Leslie Lamport  Home/Search
Context Related
| microsoft.com/user...oldfashioned.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: microsoft.com/u...tml#timeclocks (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: this paper appeared in ACM Transactions on Programming Languages and Systems 16, 5 (September 1994) 1543-- 1571. The appendix was published electronically by the ACM. Contents 1 (Update)
Cited by: More
Timed Communicating Object Z - Brendan Mahony Information (Correct)
Combining Aspects of Reactive Systems - Leonid Kof And (Correct)
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
Similar documents (at the sentence level):
46.8%: An Old-Fashioned Recipe for Real Time - Abadi, Lamport (1992) (Correct)
Active bibliography (related documents): More All
0.2: Efficient Verification of Parallel Real-Time Systems - Yoneda, Schlingloff (1997) (Correct)
0.2: Development of Correct Real-Time Systems by Refinement - Schenke (1997) (Correct)
0.2: Safety Verification for Automated Vehicle Maneuvers - Dolginova (Correct)
Similar documents based on text: More All
0.2: Conjoining Specifications - Abadi, Lamport (1995) (Correct)
0.2: Composing Specifications - Abadi, Lamport (1993) (Correct)
0.1: Decomposing Specifications of Concurrent Systems - Abadi, Lamport (Correct)
Related documents from co-citation: More All
30: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
28: Symbolic model checking for realtime systems - Henzinger, Nicollin et al. - 1992
25: Temporal Logic for Real-Time Systems (context) - Ostroff - 1989
BibTeX entry: (Update)
M. Abadi and L. Lamport. An Old-Fashioned Recipe for Real Time. In Proc. of REX Workshop "Real-Time: Theory in Practice", volume 600 of Lecture Notes in Computer Science, 1993. http://citeseer.ist.psu.edu/abadi93oldfashioned.html More
@article{ abadi94oldfashioned,
author = "Mart{\'\i}n Abadi and Leslie Lamport",
title = "An Old-Fashioned Recipe for Real Time",
journal = "ACM Transactions on Programming Languages and Systems",
volume = "16",
number = "5",
month = "September",
publisher = "ACM Press",
pages = "1543--1571",
year = "1994",
url = "citeseer.ist.psu.edu/abadi93oldfashioned.html" }
Citations (may not include all citations):274 The existence of refinement mappings - Abadi, Lamport - 1991
198 Trace Theory for Automatic Hierarchical Verification of Spee.. (context) - Dill - 1988
195 Parallel Program Design (context) - Chandy, Misra - 1988
168 The temporal logic of actions - Lamport - 1991
78 Specification and design (context) - Jones - 1983
66 Defining liveness (context) - Alpern, Schneider - 1985
56 Appraising fairness in languages for distributed programming (context) - Apt, Francez et al. - 1988
46 Proofs of networks of processes (context) - Misra, Chandy - 1981
37 Putting time into proof outlines - Schneider, Bloom et al. - 1992
31 Proving real time properties of programs with temporal logic (context) - Bernstein, Harter - 1981
12 A logical view of composition - Abadi, Plotkin - 1992
6 Highly dependable distributed systems (context) - Neumann, Lamport - 1983
4 Real-Time: Theory in Practice (context) - de Bakker, Huizing et al. - 1991
4 Re: Where are you (context) - Fischer - 1985
4 Derivation of sequential (context) - Marzullo, Schneider et al. - 1991
3 Composing specifications (context) - Science, -- et al. - 1993
3 A fast mutual exclusion algorithm (context) - Computer, Dec et al. - 1987
2 Information Processing 83: Proceedings of the IFIP 9th World.. (context) - Ed - 1982
2 18:56:29 EDT (context) - sent, June - 1985
2 Contract Number DAEA1881 -G (context) - report, SRI - 1984
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://research.microsoft.com/users/lamport/pubs/pubs.html#time-clocks): More
Lower Bounds on Consensus - Lamport (2000) (Correct)
High-Level Specifications: Lessons from Industry - Batson, Lamport (2003) (Correct)
Formal Specification of a Web Services Protocol - Johnson (2004) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC