π-calculus, Session Types research at Imperial College
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 }