Featherweight Scribble
File(s)Neykova-Yoshida2019_Chapter_FeatherweightScribble.pdf (863.16 KB)
Published version
Author(s)
Yoshida, Nobuko
Neykova, Rumyana
Type
Chapter
Abstract
Thispapergivesaformaldefinitionoftheprotocolspeci-fication language Scribble. In collaboration with industry, Scribble hasbeen developed as an engineering incarnation of the formalmultipartysession types. In its ten years of development, Scribble has been appliedand extended in manyfold ways as to verify and ensure correctness ofconcurrent and distributed systems, e.g. type checking, runtime monitor-ing, code generation, and synthesis. This paper introduces a core versionof Scribble,Featherweight Scribble. We define the semantics of Scrib-ble by translation to communicating automata and show a behavioural-preserving encoding of Scribble protocols to multiparty session type.
Editor(s)
Boreale, M
Corradini, F
Loreti, M
Pugliese, R
Date Issued
2019-07-03
Citation
Models, Languages, and Tools for Concurrent and Distributed Programming, 2019, 11665, pp.236-259
ISBN
978-3-030-21484-5
Publisher
Springer
Start Page
236
End Page
259
Journal / Book Title
Models, Languages, and Tools for Concurrent and Distributed Programming
Lecture Notes in Computer Science
Volume
11665
Copyright Statement
© Springer Nature Switzerland AG 2019. The final publication is available at Springer via https://link.springer.com/chapter/10.1007%2F978-3-030-21485-2_14
Sponsor
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (E
Engineering & Physical Science Research Council (EPSRC)
Engineering & Physical Science Research Council (E
Grant Number
EP/K011715/1
ERI 025567 (EP/K034413/1)
PO 20015393
EP/N027833/1
PO 20015391
Subjects
08 Information and Computing Sciences
Artificial Intelligence & Image Processing
Publication Status
Published
Date Publish Online
2019-07-03