Record Details

FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS

DSpace at IIT Bombay

View Archive Info
 
 
Field Value
 
Title FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS
 
Creator RAMESH, S
 
Description 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.
 
Publisher SPRINGER
 
Date 2011-08-29T13:21:15Z
2011-12-26T12:58:37Z
2011-12-27T05:48:50Z
2011-08-29T13:21:15Z
2011-12-26T12:58:37Z
2011-12-27T05:48:50Z
1992
 
Type Article
 
Identifier LECTURE NOTES IN COMPUTER SCIENCE, 629(), 463-471
0302-9743
http://dspace.library.iitb.ac.in/xmlui/handle/10054/12097
http://hdl.handle.net/10054/12097
 
Language en