DSpace
 

DSpace at IIT Bombay >
IITB Publications >
Article >

Please use this identifier to cite or link to this item: http://dspace.library.iitb.ac.in/jspui/handle/10054/6310

Title: A direct characterization of completion
Authors: RAMESH, S
SRINIVAS, BN
Issue Date: 1996
Publisher: ELSEVIER SCIENCE BV
Citation: THEORETICAL COMPUTER SCIENCE, 154(2), 379-385
Abstract: 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.
URI: 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
ISSN: 0304-3975
Appears in Collections:Article

Files in This Item:

There are no files associated with this item.

View Statistics

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback