Introduction

Authors:
Fred B. Schneider
Affiliations:
Department of Computer Science, Cornell University, Ithaca, NY
Venue:
Distributed Computing - Special issue: Specification of concurrent systems
Year:
1992

Citing 0
Cited 4

Using eternity variables to specify and prove a serializable database interface

Science of Computer Programming - Special issue on mathematics of program construction (MPC 2002)
Eternity variables to prove simulation of specifications

ACM Transactions on Computational Logic (TOCL)
Universal extensions to simulate specifications

Information and Computation
Simulation refinement for concurrency verification

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract