Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Math. Struct. in Computer Science (1993), vol. 3, pp. 161227 QUANTALES, OBSERVATIONAL LOGIC AND PROCESS
 

Summary: Math. Struct. in Computer Science (1993), vol. 3, pp. 161227
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