• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

On behavioural interpretation of types in name passing processes. A typescript (1998)

by K Honda
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Behavioural Subtyping in Name Passing Synchronisation Trees

by Kohei Honda , 1999
"... . We present a general theory of behavioural subtyping for name passing interactive behaviours using early name-passing synchronisation trees. In this theory types are collections of name passing synchronisation trees organised by typed variants of processtheoretic operations, and a simple behaviour ..."
Abstract - Cited by 1 (0 self) - Add to MetaCart
. We present a general theory of behavioural subtyping for name passing interactive behaviours using early name-passing synchronisation trees. In this theory types are collections of name passing synchronisation trees organised by typed variants of processtheoretic operations, and a simple behavioural notion of subtyping specifies when one type denotes more constrained behaviours than another, offering a semantic basis for diverse instances of subtyping in sequential and concurrent computation through their representation in name passing. The robustness of the notion is shown by a few equivalent characterisations, including the one based on the subset inclusion with respect to inhabitants of types and another concerning a basic substitutability property. As an application, we show how the subtyping in the -calculus with constant data domains is soundly embeddable into the present theory, illuminating the functional notion of subtyping from a behavioural viewpoint. 1. Introduction The ...
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University