Please use this identifier to cite or link to this item:
|Title:||FULLY ABSTRACT SEMANTICS FOR HIGHER-ORDER COMMUNICATING SYSTEMS|
|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.|
|Appears in Collections:||Article|
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.