Composing Specifications

Composing Specifications (1993)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Martín Abadi , Leslie Lamport

Venue:	ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
Citations:	514 - 18 self

BibTeX

@ARTICLE{Abadi93composingspecifications,
    author = {Martín Abadi and Leslie Lamport},
    title = {Composing Specifications},
    journal = {ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS},
    year = {1993},
    volume = {15},
    number = {1},
    pages = {73--132}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Citations

3118	Communicating Sequential Processes - Hoare - 1985
1225	A calculus of communicating systems - Milner - 1980
765	The temporal logic of actions - Lamport
409	L.: The existence of refinement mappings - Abadi, Lamport - 1991
377	Proof of correctness of Data representations - Hoare - 1972
362	Introduction to VLSI Systems - Mead, Conway - 1980
350	F.B.: Defining liveness - Alpern, Schneider - 1985
350	Hierarchical correctness proofs for distributed algorithms - Lynch, Tuttle - 1987
283	A.: On the development of reactive systems - Harel, Pnueli - 1985
234	Theory for Automatic Hierarchical Verification of SpeedIndependent Circuits, ACM Distinguished Dissertations - Dill - 1989
201	An Old-Fashioned Recipe for Real Time - Abadi, Lamport - 1991
197	Games and full completeness for multiplicative linear logic - Abramsky, Jagadeesan - 1994
178	Specifying concurrent program modules - Lamport - 1983
170	What good is temporal logic - Lamport - 1983
151	K.M.: Proofs of networks of processes - Misra, Chandy - 1981
142	Specification and design of (parallel) programs - Jones - 1983
138	L.: Proving liveness properties of concurrent programs - Owicki, Lamport - 1982
132	The temporal semantics of concurrent programs - Pnueli - 1977
129	Verifying properties of parallel programs: An axiomatic approach - Owicki, Gries - 1976
117	Conjunction as composition - Zave, Jackson - 1993
114	A simple approach to specifying concurrent systems - Lamport - 1989
76	A really abstract concurrent model and its temporal logic - Barringer, Kuiper, et al. - 1986
65	Realizable and unrealizable specifications of reactive systems - Abadi, Lamport, et al. - 1989
61	Protocol verification via projection - Lam, Shankar - 1984
55	Transition from Global to Modular Temporal Reasoning about Programs - Pnueli - 1985
51	A proof technique for rely/guarantee properties - Stark - 1985
44	A hierarchy of temporal properties - Manna, Pnueli - 1990
42	Appraising fairness in languages for distributed programming - Apt, Francez, et al. - 1988
39	The existence of re�nement mappings - Abadi, Lamport - 1991
36	A logical view of composition - Abadi, Plotkin
36	Veri�cation of a multiplier: 64 bits and beyond - Kurshan, Lamport - 1993
31	A Calculus of Communicating Systems, volume 92 - Milner - 1980
27	Solved problems, unsolved problems and nonproblems - Lamport - 1984
23	In�nite games of perfect information - Davis - 1964
20	The hoare logic of csp, and all that - Lamport, Schneider - 1984
17	Nissim Francez, and Shmuel Katz. Appraising fairness in languages for distributed programming - Apt - 1988
15	A temporal logic of actions. research report 57 - Lamport - 1990
15	Application of the composition principle to Unity-like specifications - Collette - 1993
14	A Logical View of Composition and refinement - Abadi, Plotkin - 1991
14	Introduction to VLSI Systems, chapter 7 - Conway - 1980
13	Foundations of a theory of specification for distributed systems - STARK - 1984
12	The �Hoare logic" of CSP, and all that - Lamport, Schneider - 1984
8	Composing speci�cations - Abadi, Lamport - 1993
7	De�ning liveness - Alpern, Schneider - 1985
6	Characterizing the behaviour of reactive systems by trace sets - Broy, Dederichs, et al. - 1991
5	P-A logic\|a compositional proof system for distributed programs - Pandya, Joseph - 1991
5	A logical view of composition and re nement - Abadi, Plotkin - 1991
3	An algebraic model for asynchronous circuits veri�cation - Berthet, Cerny - 1988
2	Protocol veri�cation via projections - Lam, Shankar - 1984
1	revised July 1994 and January 1995; accepted January 1995 - Received - 1993