Featherweight Scribble

File Description SizeFormat 
Neykova-Yoshida2019_Chapter_FeatherweightScribble.pdfFile embargoed until 03 July 2020863.16 kBAdobe PDF    Request a copy
Title: Featherweight Scribble
Authors: Yoshida, N
Neykova, R
Item 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.
Editors: Boreale, M
Corradini, F
Loreti, M
Pugliese, R
Issue Date: 3-Jul-2019
URI: http://hdl.handle.net/10044/1/72163
DOI: https://dx.doi.org/10.1007/978-3-030-21485-2_14
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/Funder: 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
Funder's Grant Number: EP/K011715/1
ERI 025567 (EP/K034413/1)
PO 20015393
EP/N027833/1
PO 20015391
Keywords: 08 Information and Computing Sciences
Artificial Intelligence & Image Processing
Publication Status: Published
Embargo Date: 2020-07-03
Online Publication Date: 2019-07-03
Appears in Collections:Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons