The Scribble Protocol Language
Attributed to:
From Data Types to Session Types---A Basis for Concurrency and Distribution
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1007/978-3-319-05119-2_3
Publication URI: http://dx.doi.org/10.1007/978-3-319-05119-2_3
Type: Book Chapter
Book Title: Trustworthy Global Computing - 8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013, Revised Selected Papers (2014)
Page Reference: 22-41