Download the complete article:

@inproceedings{HondaMBCY11,
  volume = {6536},
  author = {Kohei Honda and Aybek Mukhamedov and Gary Brown and Tzu-Chun Chen
            and Nobuko Yoshida},
  series = {Lecture Notes in Computer Science},
  booktitle = {ICDCIT},
  url = {http://www.di.unito.it/~chen/papers/ICDCIT_2011.pdf},
  title = {Scribbling Interactions with a Formal Foundation},
  isbn = {978-3-642-19055-1},
  tag = {ICDCIT 2011},
  abstract = {In this paper we discuss our ongoing endeavour to apply notations
              and algorithms based on the pi-calculus and its theories for the
              development of large-scale distributed systems. The execution of a
              large-scale distributed system consists of many structured
              conversations (or sessions) whose protocols can be clearly and
              accurately specified using a theory of types for the pi-calculus,
              called session types. The proposed methodology promotes a formally
              founded, and highly structured, development framework for
              modelling and building distributed applications, from high-level
              models to design and implementation to static checking to runtime
              validation. At the centre of this methodology is a formal
              description language for representing protocols for interactions,
              called Scribble. We illustrate the usage and theoretical basis of
              this language through use cases from different application
              domains.},
  localfile = {http://www.di.unito.it/~chen/papers/ICDCIT_2011.pdf},
  publisher = {Springer},
  year = {2011},
  pages = {55-75},
}

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)