A Refinement Calculus for Tuple Spaces.

Laura Semini Carlo Montangero

Published in: Sci. Comput. Program. (1999)

Keyphrases

information systems
computer algebra
data structure
user defined
proof procedure