Programming Research Group
Technical Report TR-1-00
IoData Types and Processes
Christie Bolton
April 2000, 142pp.
Abstract
This report presents a behavioural semantics for abstract data
types and IoData types, that is, abstract data types with an
explicit notion of input and output. Semantic and syntactic
definitions for these data types and their process equivalents are
given. Furthermore the proofs that the translations from abstract
data types and IoData types to their process equivalents preserve
refinement are presented.
This paper is available as a 294,280 gzipped PostScript file.