Simon Gay, Malcolm Hole  Home/Search
Context Related
Links: ACM DBLP | dcs.gla.ac.uk/~simon/pub...esop99.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/publicati... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We define an extension of the -calculus with a static type system which supports high-level specifications of extended patterns of communication, such as client-server protocols. Subtyping allows protocol specifications to be extended in order to describe richer behaviour; an implemented server can then be replaced by a refined implementation, without invalidating type-correctness of the overall system. We use the POP3 protocol as a concrete example of this technique. 1 Introduction... (Update)
Cited by: More
Causal Type System for Ambient Movements - Amtoft (2003) (Correct)
From Sequential Programs to Multi-Tier Applications by.. - Neubauer, Thiemann (2005) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (2005) (Correct)
Similar documents (at the sentence level):
20.0%: Types for Correct Communication in Client-Server Systems - Gay, Hole (2000) (Correct)
Active bibliography (related documents): More All
0.2: Some Type Systems for the Pi Calculus - Gay (1999) (Correct)
0.2: Types and Subtypes for Client-Server Interactions - Gay, Hole (1999) (Correct)
0.1: Case for Support: Novel type systems for concurrent programming.. - Gay (Correct)
Similar documents based on text: More All
0.5: Session Types for Inter-Process Communication - Gay, Vasconcelos, Ravara (2003) (Correct)
0.3: A Type-theoretic Approach to Deadlock-freedom of.. - Abramsky, Gay, Nagarajan (1997) (Correct)
0.2: Session Types for Functional Multithreading - Vasconcelos, Gay, Ravara (2004) (Correct)
Related documents from co-citation: More All
34: Language primitives and type disciplines for structured communication-based prog.. - Honda, Vasconcelos et al.
23: Types for dyadic interaction - Honda - 1993
22: Composing processes - Honda - 1996
BibTeX entry: (Update)
Gay, S. and Hole, M., Types and Subtypes for Client-Server Interactions, ESOP'99, LNCS 1576, 74--90, Springer, 1999. http://citeseer.ist.psu.edu/gay99types.html More
@inproceedings{ gay99types,
author = "Simon J. Gay and Malcolm Hole",
title = "Types and Subtypes for Client-Server Interactions",
booktitle = "European Symposium on Programming",
pages = "74-90",
year = "1999",
url = "citeseer.ist.psu.edu/gay99types.html" }
Citations (may not include all citations):982 Theoretical Computer Science (context) - Girard - 1987 ACM
854 Information and Computation (context) - Milner, Parrow et al. - 1992 DBLP
137 Laboratory for Foundations of Computer Science (context) - Milner, -calculus et al. - 1991
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996 ACM DBLP
86 A partially deadlock-free typed process calculus - Kobayashi - 1997 ACM DBLP
66 Language primitives and type discipline for structured commu.. - Honda, Vasconcelos et al. - 1998 ACM DBLP
61 Local type inference - Pierce, Turner - 1998 ACM DBLP
47 Lilac : A functional programming language based on linear lo.. (context) - Mackie - 1994
44 An interaction-based language and its typing system - Takeuchi, Honda et al. - 1994 ACM DBLP
22 A sort inference algorithm for the polyadic -calculus (context) - Gay - 1993
10 Types and subtypes for mobile processes (context) - Pierce, Sangiorgi - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.dcs.gla.ac.uk/~simon/publications/): More
A Program Logic For Gamma - Gay, Hankin (Correct)
Gamma and the Logic of Transition Traces - Gay, Hankin (1997) (Correct)
A Type-theoretic Approach to Deadlock-freedom of Asynchronous .. - Samson Abramsky (1997) (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