Summary: Math. Struct. in Computer Science (1993), vol. 3, pp. 161­227
QUANTALES, OBSERVATIONAL LOGIC AND PROCESS
SEMANTICS
Samson Abramsky
Steven Vickers
Department of Computing,
Imperial College of Science, Technology and Medicine,
180 Queen's Gate,
London,
SW7 2BZ.
Abstract
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
1. Introduction
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

Source: Abramsky, Samson - Computing Laboratory, University of Oxford
Vickers, Steve - School of Computer Science, University of Birmingham

Collections: Computer Technologies and Information Sciences