Simon Gay, Malcolm Hole  Home/Search
Context Related
| dcs.gla.ac.uk/~simon/...sessiontr.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: dcs.gla.ac.uk/~simon/nove...novel (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We de ne an extension of the -calculus which supports extended patterns of communication, such as client-server protocols. We then present a static type system for the language which allows concise high-level speci cations of these protocols. The channels on which the constituent communications of these protocols take place are given linear types. This allows us to guarantee that a protocol will not fail to complete due to the pattern of communication between client and server being... (Update)
Context of citations to this paper: More
...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...
Cited by: More
Foclasa 2002 - Typing The Behavior (Correct)
A Top-Down Approach to Modeling Global Behaviors of Web Services - Fu, Bultan, Su (Correct)
E-Services: A Look behind the Curtain - Hull, Benedikt, Christophides, Su (2003) (Correct)
Similar documents (at the sentence level):
15.2%: Types and Subtypes for Client-Server Interactions - Gay, Hole (1999) (Correct)
Active bibliography (related documents): More All
0.3: Case for Support: Novel type systems for concurrent programming.. - Gay (Correct)
0.2: A Novel Approach to Mobility Management - Hutchins, Camp, Enslow (1999) (Correct)
0.2: Mixminion: Design of a Type III Anonymous Remailer.. - Danezis, Dingledine.. (2002) (Correct)
Similar documents based on text: More All
0.5: Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
0.2: Some Type Systems for the Pi Calculus - Gay (1999) (Correct)
0.2: Learning to Compress Ergodic Sources (Extended Abstract) - Baxter, al. (1996) (Correct)
Related documents from co-citation: More All
5: Language primitives and type disciplines for structured communication-based prog.. - Honda, Vasconcelos et al.
4: Foundations of Component-Based Systems (context) - Leavens, Sitaraman - 2000
4: Coordinating Interaction Patterns - Bracciali, Brogi et al. - 2001
BibTeX entry: (Update)
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. http://citeseer.ist.psu.edu/gay00types.html More
@misc{ gay00types,
author = "S. Gay and M. Hole",
title = "Types for Correct Communication in Client-Server Systems",
text = "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.",
year = "2000",
url = "citeseer.ist.psu.edu/gay00types.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987
854 Information and Computation (context) - Milner, Parrow et al. - 1992
200 Pict: A programming language based on the picalculus - Pierce, Turner
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
86 A partially deadlock-free typed process calculus - Kobayashi - 1997
66 Language primitives and type discipline for structured commu.. - Honda, Vasconcelos et al. - 1998
61 Local type inference - Pierce, Turner - 1998
44 An interaction-based language and its typing system - Takeuchi, Honda et al. - 1994
10 Types and subtypes for mobile processes (context) - Pierce, Sangiorgi - 1993
5 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
4 Post oce protocol version (context) - Myers, Rose
Documents on the same site (http://www.dcs.gla.ac.uk/~simon/novel/novel.html):
Case for Support: Novel type systems for concurrent programming.. - Gay (Correct)
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