Verifying message-passing programs with dependent behavioural types release_o64i4g4flfbx7kkvbrz3ppyyp4

by Alceste Scalas, Nobuko Yoshida, Elias Benussi

Archived Files and Locations

application/pdf  1.3 MB
file_dybxdadrkzf63k76uxjwazkywa
publications.aston.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  paper-conference
Stage   published
Year   2019
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 5c25923f-204e-4d61-8928-9aa66494659b
API URL: JSON