Refinement and projection of relational specifications

Authors:
S. S. Lam;A. U. Shankar
Affiliations:
-;-
Venue:
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
Year:
1990

Citing 0
Cited 2

Compositional specification and verification of distributed systems

ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving refinement using transduction

Distributed Computing - Special issue: Verification of lazy caching

Quantified Score

Hi-index	0.00

Visualization

Abstract