| 1988 |
|---|
| 16 | | Richard L. Schwartz:
Data Base Distribution and Concurrency for End-Users (Abstract).
Concurrency 1988: 63 |
| 1983 |
|---|
| 15 | | Richard L. Schwartz,
P. M. Melliar-Smith,
Friedrich H. Vogt:
An Interval-Based Temporal Logic.
Logic of Programs 1983: 443-457 |
| 14 | | Richard L. Schwartz,
P. M. Melliar-Smith,
Friedrich H. Vogt:
An Interval Logic for Higher-Level Temporal Reasoning.
PODC 1983: 173-186 |
| 13 | | 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 |
| 12 | | 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 |
| 1982 |
|---|
| 11 | | Robert E. Shostak,
Richard L. Schwartz,
P. M. Melliar-Smith:
STP: A Mechanized Logic for Specification and Verification.
CADE 1982: 32-49 |
| 10 | | Richard L. Schwartz,
P. M. Melliar-Smith:
From State Machines to Temporal Logic: Specification Methods for Protocol Standards.
PSTV 1982: 3-19 |
| 9 | | 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) |
| 1981 |
|---|
| 8 | | Mark Moriconi,
Richard L. Schwartz:
Automatic Construction of Verification Condition Generators From Hoare Logics.
ICALP 1981: 363-377 |
| 7 | | Richard L. Schwartz,
P. M. Melliar-Smith:
Temporal Logic Specification of Distributed Systems.
ICDCS 1981: 446-454 |
| 6 | | Richard L. Schwartz,
P. M. Melliar-Smith:
The Finalization Operation for Abstract Types.
ICSE 1981: 273-282 |
| 1979 |
|---|
| 5 | | Richard L. Schwartz:
An Aximatic Treatment of Algol 68 Routines.
ICALP 1979: 530-545 |
| 4 | | Richard L. Schwartz,
Daniel M. Berry:
A semantic view of ALGOL 68.
Comput. Lang. 4(1): 1-15 (1979) |
| 3 | | Daniel M. Berry,
Richard L. Schwartz:
United and Discriminated Record Types in Strongly Typed Languages.
Inf. Process. Lett. 9(1): 13-18 (1979) |
| 2 | | Richard L. Schwartz:
Aliasing Among Pointers in EUCLID.
Inf. Process. Lett. 9(2): 76-79 (1979) |
| 1978 |
|---|
| 1 | | Richard L. Schwartz:
Parallel Compilation: A Design and Its Application to SIMULA 67.
Comput. Lang. 3(2): 75-94 (1978) |
