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/12097

Title: FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS
Authors: RAMESH, S
Issue Date: 1992
Publisher: SPRINGER
Citation: LECTURE NOTES IN COMPUTER SCIENCE, 629(), 463-471
Abstract: This paper is concerned with semantic theories of higher order communicating systems (HOCS). In these higher order systems, processes exchange processes themselves. In this paper, we present two semantic theories, a behavioral theory and a denotational semantics for a slight variant of Thomsen's Higher Order Calculus. The proposed behavioral theory is based upon the theory of testing due to de Nicola and Hennessy. The semantic model is a higher order extension of Hennessy's acceptance tree model and is shown to be fully abstract with respect to the testing pre-order.
URI: http://dspace.library.iitb.ac.in/xmlui/handle/10054/12097
http://hdl.handle.net/10054/12097
ISSN: 0302-9743
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