Modelling and Verification of the Timely Dataflow Progress Tracking Protocol

Download
Full text (PDF, 2.242Mb)
Thumbnail
Open access
Author
Decova, Sára
Date
2020
Type
    Master Thesis
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-b-000444762
Publication status
published
Contributors
Examiner: Roscoe, Timothy
Examiner: Lattuada, Andrea
Examiner: Traytel, Dmitriycc
Publisher
ETH Zurich
Organisational unit
03757 - Roscoe, Timothy / Roscoe, Timothy  
More
Show all metadata
ETH Bibliography
yes
Altmetrics