Summary: Math. Struct. in Computer Science (1993), vol. 3, pp. 161227
QUANTALES, OBSERVATIONAL LOGIC AND PROCESS
Department of Computing,
Imperial College of Science, Technology and Medicine,
180 Queen's Gate,
Various notions of observing and testing processes are placed in a uniform algebraic
framework in which observations are taken as constituting a quantale. General
completeness criteria are stated, and proved in our applications.
2 Abramsky and Vickers: Quantales, observational logic and process semantics
Our aim in this paper is to present a uniform algebraic framework for the study of
various notions of observing and testing processes, and the equivalences they induce.
Our approach differs from that of Hennessy (1988), in that we emphasize the logical