Record Details

A direct characterization of completion

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title A direct characterization of completion
 
Creator RAMESH, S
SRINIVAS, BN
 
Description Canonical Completion of a poset is of central importance in obtaining fully abstract semantic models. Stoughton, in his thesis, has described a completion technique. In this short note, we provide a direct characterization of the cpo constructed using this technique. This characterization shows that the completed poset consists of all closed continuously directed subsets of the original poset and vice versa. This result is stated as a conjecture by Stoughton.
 
Publisher ELSEVIER SCIENCE BV
 
Date 2011-07-22T17:48:11Z
2011-12-26T12:52:30Z
2011-12-27T05:38:23Z
2011-07-22T17:48:11Z
2011-12-26T12:52:30Z
2011-12-27T05:38:23Z
1996
 
Type Article
 
Identifier THEORETICAL COMPUTER SCIENCE, 154(2), 379-385
0304-3975
http://dx.doi.org/10.1016/0304-3975(95)00088-7
http://dspace.library.iitb.ac.in/xmlui/handle/10054/6310
http://hdl.handle.net/10054/6310
 
Language en