Passing Compatibility is Almost Persistency

Publisher Website

1 January 1985

book chapter
Published by Springer Nature

p. 196-206
https://doi.org/10.1007/978-3-662-09691-8_15

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
ACM Transactions on Programming Languages and Systems, 1983
On the Theory of Specification, Implementation, and Parametrization of Abstract Data Types
Journal of the ACM, 1982