DMCA
!"#$%&'#()*#%&+,&-./0)#1(&'*+1,*1 (1993), 2.3%&45&00%&161-227 QUANTALES, OBSERVATIONAL LOGIC AND PROCESS SEMANTICS
by
Samson Abramsky
,
Steven Vickers
,
Sw Bz
BibTeX
@MISC{Abramsky_!"#$%&'#()*#%&+,&-./0)#1(&'*+1,*1(1993),,
author = {Samson Abramsky and Steven Vickers and Sw Bz},
title = {!"#$%&'#()*#%&+,&-./0)#1(&'*+1,*1 (1993), 2.3%&45&00%&161-227 QUANTALES, OBSERVATIONAL LOGIC AND PROCESS SEMANTICS},
year = {}
}
Share
 |
 |
 |
 |
||
OpenURL
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 67("/89:&",;&<+*91(8=&>)",#"3185&.781(2"#+.,"3&3.?+*&",;&0(.*188&81/",#+*8 1.
