Richard L. Schwartz

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

	1988
c11		Richard L. Schwartz: Data Base Distribution and Concurrency for End-Users (Abstract). Concurrency 1988: 63
	1983
c10		Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. The Analysis of Concurrent Systems 1983: 55-65
c9		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: Interval Logic: A Higher-Level Temporal Logic for Protocol Specification. Protocol Specification, Testing, and Verification 1983: 3-18
c8		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval-Based Temporal Logic. Logic of Programs 1983: 443-457
c7		Richard L. Schwartz, P. M. Melliar-Smith, Friedrich H. Vogt: An Interval Logic for Higher-Level Temporal Reasoning. PODC 1983: 173-186
	1982
j5		P. M. Melliar-Smith, Richard L. Schwartz: Formal Specification and Mechanical Verification of SIFT: A Fault-Tolerant Flight Control System. IEEE Trans. Computers 31(7): 616-630 (1982)
c6		Robert E. Shostak, Richard L. Schwartz, P. M. Melliar-Smith: STP: A Mechanized Logic for Specification and Verification. CADE 1982: 32-49
c5		Richard L. Schwartz, P. M. Melliar-Smith: From State Machines to Temporal Logic: Specification Methods for Protocol Standards. PSTV 1982: 3-19
	1981
c4		Mark Moriconi, Richard L. Schwartz: Automatic Construction of Verification Condition Generators From Hoare Logics. ICALP 1981: 363-377
c3		Richard L. Schwartz, P. M. Melliar-Smith: Temporal Logic Specification of Distributed Systems. ICDCS 1981: 446-454
c2		Richard L. Schwartz, P. M. Melliar-Smith: The Finalization Operation for Abstract Types. ICSE 1981: 273-282
	1979
j4		Richard L. Schwartz, Daniel M. Berry: A semantic view of ALGOL 68. Comput. Lang. 4(1): 1-15 (1979)
j3		Daniel M. Berry, Richard L. Schwartz: United and Discriminated Record Types in Strongly Typed Languages. Inf. Process. Lett. 9(1): 13-18 (1979)
j2		Richard L. Schwartz: Aliasing Among Pointers in EUCLID. Inf. Process. Lett. 9(2): 76-79 (1979)
c1		Richard L. Schwartz: An Aximatic Treatment of Algol 68 Routines. ICALP 1979: 530-545
	1978
j1		Richard L. Schwartz: Parallel Compilation: A Design and Its Application to SIMULA 67. Comput. Lang. 3(2): 75-94 (1978)

Coauthor Index

1	Daniel M. Berry	[j4] [j3]
2	P. M. Melliar-Smith (P. Michael Melliar-Smith)	[c10] [c9] [c8] [c7] [j5] [c6] [c5] [c3] [c2]
3	Mark Moriconi	[c4]
4	Robert E. Shostak	[c6]
5	Friedrich H. Vogt	[c9] [c8] [c7]

Last update Mon May 20 19:11:10 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page