dblp.uni-trier.dewww.uni-trier.de

Richard L. Schwartz Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*1988
16EERichard 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
11EERobert 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
8EEMark 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
5EERichard 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)

Coauthor Index

1Daniel M. Berry [3] [4]
2P. M. Melliar-Smith (P. Michael Melliar-Smith) [6] [7] [9] [10] [11] [12] [13] [14] [15]
3Mark Moriconi [8]
4Robert E. Shostak [11]
5Friedrich H. Vogt [13] [14] [15]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)