Multiple Choices
The document name you requested (
/publications/certifying-data-in-multiparty-session-types/index/
) could not be found on this server. However, we found documents with names similar to the one you requested.
Available documents:
/publications/certifying-data-in-multiparty-session-types/index.html/
(common basename)
Apache Server at mrg.doc.ic.ac.uk Port 80