article · 2000

Types for Correct Communication in Client-Server Systems

Simon Gay, Malcolm Hole, Surrey Tw Ex

Cited by 0Abstract and details only

Abstract

We dene 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 specications 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 incompatible. We use the POP3 protocol as a concrete example of this technique. Finally, we discuss our plans to add subtyping to the system and to implement the type system as an addition to the Pict programming language. CONTENTS ii Contents 1

Cite this paper

APA 7

Gay, S., Hole, M., & Ex, S. T. (2000). Types for Correct Communication in Client-Server Systems.

MLA 9

Gay, Simon, et al. “Types for Correct Communication in Client-Server Systems.” 2000.

Chicago

Gay, Simon, Malcolm Hole, and Surrey Tw Ex. 2000. “Types for Correct Communication in Client-Server Systems.”

Harvard

Gay, S., Hole, M. and Ex, S.T. (2000) ‘Types for Correct Communication in Client-Server Systems’.

BibTeX

@article{gay2000types,
  title = {{Types for Correct Communication in Client-Server Systems}},
  author = {Gay, Simon and Hole, Malcolm and Ex, Surrey Tw},
  year = {2000}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.