Simon J. Gay and Malcom Hole. Types for correct communication in clientserver systems. Technical report, Department of Computer Science, Royal Holloway, University of London, 2000. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Typing the Behavior of Objects and Components using Session .. - Vallecillo, Vasconcelos (2003) (7 citations) (Correct)
....a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavioral properties of objects beyond the static information provided by IDLs. We build on the works by Honda et al. 9] and Gay and Hole [8] to show how session types can be effectively used for describing protocols, extending the information currently provided by object interfaces. We show how session types not only allow high level specifications of complex object interactions, but also allow the definition of powerful ....
....in protocol descriptions. Our work builds on the work by Honda et al. 9] which initially introduced session types for describing object service protocols. Protocol compatibility and substitutability tests are defined using the subtyping relation defined by Gay and Hole for session types [8]. In this paper we first complement those works by introducing the notion of compatibility between session types, extend it to objects, prove some of its properties, and then study how session types can be successfully applied not only at the theoretical level, but also in a commercial environment ....
[Article contains additional citation context not shown here]
Gay, S. J., Hole, M.: Types for Correct Communication in Client-Server Systems, Technical report, Department of Computer Science, Royal Holloway, University of London, 2000.
Typing the Behavior of Objects and Components using Session .. - Vallecillo, Vasconcelos (2002) (7 citations) (Correct)
....a proposal for typing the behavior of objects in component models. Most component models, CORBA in particular, do not offer any support for expressing behavior al properties of objects beyond the static information provided by IDLs. We build on the works by Honda et al. 6] and Gay and Hole [5] to show how session types can be effectively used for describing protocols, extending the information currently provided by object interfaces. We show how session types not only allow high level specifications of complex object interactions, but also allow the definition of powerful ....
....in protocol descriptions. Our work builds on the work by Honda et al. 6] which initially introduced session types for describing object service protocols. Protocol compatibility and substitutability tests are defined using the subtyping relation defined by Gay and Hole for session types [5]. In this paper we first complement those works by introducing the notion of compatibility between session types, extend it to objects, prove some of its properties, and then study how session types can be successfully applied not only at the theoretical level, but also in a commercial environment ....
[Article contains additional citation context not shown here]
Gay, S. J., Hole, M.: Types for Correct Communication in Client-Server Systems, Technical report, Department of Computer Science, Royal Holloway, University of London, 2000.
Foclasa 2002 - Typing The Behavior (Correct)
No context found.
Simon J. Gay and Malcom Hole. Types for correct communication in clientserver systems. Technical report, Department of Computer Science, Royal Holloway, University of London, 2000.
A Top-Down Approach to Modeling Global Behaviors of Web Services - Fu, Bultan, Su (Correct)
No context found.
S. Gay and M. Hole. Types for correct communication in client-server systems. Technical Report CSD-TR-00-07, Department of Computer Science, Royal Holloway, University of London, December 18 2000.
E-Services: A Look behind the Curtain - Hull, Benedikt, Christophides, Su (2003) (1 citation) (Correct)
No context found.
S. Gay and M. Hole. Types for correct communication in client-server systems. Tech. Report CSD-TR-00-07, Dept. of Computer Science, Royal Holloway, Univ. of London, Dec. 2000.
Electronic Notes in Theoretical Computer Science 68 No. 3 (2003) - Url Http Www (Correct)
No context found.
Simon J. Gay and Malcom Hole. Types for correct communication in clientserver systems. Technical report, Department of Computer Science, Royal Holloway, University of London, 2000.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC