Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

11

ESOP
1999
Springer

favoriteEmaildiscussreport

113views Programming Languages» more ESOP 1999»

Types and Subtypes for Client-Server Interactions

13 years 9 months ago

Types and Subtypes for Client-Server Interactions

Download www.dcs.gla.ac.uk

We deﬁne an extension of the π-calculus with a static type system which supports high-level speciﬁcations of extended patterns of communication, such as client-server protocols. Subtyping allows protocol speciﬁcations to be extended in order to describe richer behaviour; an implemented server can then be replaced by a reﬁned implementation, without invalidating type-correctness of the overall system. We use the POP3 protocol as a concrete example of this technique.

Simon J. Gay, Malcolm Hole

Real-time Traffic

Allows Protocol Speciﬁcations | Client-server Protocols | ESOP 1999 | Programming Languages | Static Type |

claim paper

Related Content

» Typing Asymmetric ClientServer Interaction

» Towards UsabilityImproving Design Patterns for Mobile ClientServer Computing

» Subtyping Union Types

» Subtyping Recursive Types

» Subtyping and Parametricity

» SessionBased Communication Optimisation for HigherOrder Mobile Processes

» Subtypes vs Where Clauses Constraining Parametric Polymorphism

» The Pairing of Contracts and Session Types

» MOMI a calculus for mobile mixins

Post Info
More Details (n/a)

Added	04 Aug 2010
Updated	04 Aug 2010
Type	Conference
Year	1999
Where	ESOP
Authors	Simon J. Gay, Malcolm Hole

Comments (0)