<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>5906</REFNUM><AUTHORS><AUTHOR>Gay,S.J.</AUTHOR><AUTHOR>Hole,M.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>Types for Correct Communication in Client-Server Systems</TITLE><PLACE_PUBLISHED>Technical report CSD-TR-00-07, Department of Computer
Science, Royal Holloway, University of London</PLACE_PUBLISHED><PUBLISHER>Department of Computer Science, Royal Holloway, University of Lo</PUBLISHER><LABEL>Gay:2000:5906</LABEL><KEYWORDS><KEYWORD>types</KEYWORD></KEYWORDS<ABSTRACT>We define an extension of the pi calculus which supports extended patterns
of communication, such as client-server protiocols. We then present a static
type system for the language which allows concise high-level specifications
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.</ABSTRACT><URL>http://www.dcs.gla.ac.uk/~simon/publications/sessiontr.pdf</URL></RECORD></RECORDS></XML>