Full text not currently available from Enlighten.
Publisher's URL: http://dx.doi.org/10.1007/3-540-49099-X_6
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.
|Glasgow Author(s) Enlighten ID:||Gay, Professor Simon|
|Authors:||Gay, S., and Hole, M.|
|Subjects:||Q Science > QA Mathematics > QA75 Electronic computers. Computer science|
|College/School:||College of Science and Engineering > School of Computing Science|
|Journal Name:||Lecture Notes in Computer Science|