MobilityReadingGroup

π-calculus, Session Types research at Imperial College

The Scribble Protocol Language
Nobuko YOSHIDA, Raymond HU, Rumyana NEYKOVA, Nicholas NG
8th International Symposium on Trustworthy Global Computing (TGC 2013). p. 22 - 41

This paper describes a brief history of how Kohei Honda initiated the Scribble project, and summarises the current status of Scribble.

(Invited paper at TGC 2013)

@inproceedings{YHNN2013,
  author = {Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng},
  title = {{The Scribble Protocol Language}},
  booktitle = {8th International Symposium on Trustworthy Global Computing},
  series = {LNCS},
  volume = {8358},
  pages = {22--41},
  publisher = {Springer},
  year = 2013
}
@inproceedings{YHNN2013,
  author = {Nobuko Yoshida and Raymond Hu and Rumyana Neykova and Nicholas Ng},
  title = {{The Scribble Protocol Language}},
  booktitle = {8th International Symposium on Trustworthy Global Computing},
  series = {LNCS},
  volume = {8358},
  pages = {22--41},
  publisher = {Springer},
  doi = "10.1007/978-3-319-05119-2_3",
  year = 2013
}