An Old-Fashioned Recipe for Real Time

An Old-Fashioned Recipe for Real Time (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martín Abadi , Leslie Lamport

Citations:

201 - 16 self

BibTeX

@MISC{Abadi93anold-fashioned,
    author = {Martín Abadi and Leslie Lamport},
    title = {An Old-Fashioned Recipe for Real Time},
    year = {1993}
}

Years of Citing Articles

Bookmark

OpenURL

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

Citations

765	The temporal logic of actions - Lamport
514	Conjoining specifications - Abadi, Lamport - 1995
409	L.: The existence of refinement mappings - Abadi, Lamport - 1991
350	F.B.: Defining liveness - Alpern, Schneider - 1985
234	Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits, ACM Distinguished Dissertations - Dill - 1989
202	A fast mutual exclusion algorithm - Lamport - 1987
180	Chandy and Jayadev Misra. Parallel Program Design: A Foundation - Mani - 1988
151	K.M.: Proofs of networks of processes - Misra, Chandy - 1981
142	Specification and design of (parallel) programs - Jones - 1983
140	Parallel Program Design - Chandy, Misra - 1988
55	Transition from Global to Modular Temporal Reasoning about Programs - Pnueli - 1985
42	Appraising fairness in languages for distributed programming - Apt, Francez, et al. - 1988
36	A logical view of composition - Abadi, Plotkin
32	An assertional correctness proof of a distributed algorithm - Lamport - 1982
26	Putting time into proof outlines - Schneider, Bloom, et al. - 1991
17	Nissim Francez, and Shmuel Katz. Appraising fairness in languages for distributed programming - Apt - 1988
14	Derivation of sequential, real-time process-control programs, Foundations of Real-Time Computing: Formal Specifications and Methods - Budhiraja, Marzullo, et al. - 1991
11	Proving Real Time Properties of Programs with Temporal Logic - Berstein, Harter - 1981
5	editors, Stepwise Refinement of Distributed Systems, volume 430 - deBakker, Rozenberg - 1989
4	Re: Where are you? E-mail message to Leslie Lamport - Fischer - 1985
2	RealTime: Theory in Practice, Volume 600 - Bakker, Huizing, et al. - 1992
1	Highly dependable distributed systems - Neumann, Lamport - 1983
1	The existence of refinement mappings.Theoretical - Abadi, Lamport - 1991
1	An Old-Fashioned Recipe for Real Time \Delta 1571 - Dill - 1988
1	An Old-Fashioned Recipe for Real Time - Dill - 1988