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.
Cite
CITATION STYLE
Gay, S., & Hole, M. (1999). Types and subtypes for client-server interactions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1576, pp. 74–90). Springer Verlag. https://doi.org/10.1007/3-540-49099-X_6
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
