On Observational Equivalence and Algebraic Specification.

Donald Sannella Andrzej Tarlecki

Published in: TAPSOFT, Vol.1 (1985)

Keyphrases

high level
data sets
website
multi agent
user defined
asynchronous circuits
information systems
image processing
multiscale
object oriented
higher order
experimental data
conceptual model
formal verification
provably correct