π-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
}