This HTML5 document contains 30 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
n21https://kar.kent.ac.uk/id/eprint/88249#
n2https://kar.kent.ac.uk/id/eprint/
wdrshttp://www.w3.org/2007/05/powder-s#
n19http://purl.org/ontology/bibo/status/
dchttp://purl.org/dc/elements/1.1/
n18https://kar.kent.ac.uk/id/subject/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n20https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/
n17http://eprints.org/ontology/
n4https://kar.kent.ac.uk/id/event/
bibohttp://purl.org/ontology/bibo/
n8https://kar.kent.ac.uk/id/org/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n6https://kar.kent.ac.uk/88249/
n11https://kar.kent.ac.uk/id/
n13https://kar.kent.ac.uk/id/document/
xsdhhttp://www.w3.org/2001/XMLSchema#
n16https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/
n10doi:10.1145/
n14https://kar.kent.ac.uk/id/person/

Statements

Subject Item
n2:88249
rdf:type
n17:ConferenceItemEPrint n17:EPrint bibo:Article bibo:AcademicArticle
rdfs:seeAlso
n6:
owl:sameAs
n10:3453483.3454041
n17:hasAccepted
n13:3239037
n17:hasDocument
n13:3239037 n13:3239155 n13:3239162 n13:3239163 n13:3239164 n13:3239165
dc:hasVersion
n13:3239037
dcterms:title
Zooid: A DSL for Certified Multiparty Computation
wdrs:describedby
n16:export_kar_RDFN3.n3 n20:export_kar_RDFN3.n3
dcterms:date
2021-06-19
dcterms:creator
n14:ext-n.yoshida@imperial.ac.uk n14:ext-l.gheri@imperial.ac.uk n14:ext-d.castro-perez@kent.ac.uk n14:ext-f.ferreira-ruiz@imperial.ac.uk
bibo:status
n19:peerReviewed n19:published
dcterms:publisher
n8:ext-2af1883e4bbfa0356fcedb366171cb38
bibo:abstract
We design and implement Zooid, a domain specific language for certified multiparty communication, embedded in Coq and implemented atop our mechanisation framework of asynchronous multiparty session types (the first of its kind). Zooid provides a fully mechanised metatheory forthe semantics of global and local types, and a fully verified end-point process language that faithfully reflects the type-level behaviours and thus inherits the global types properties such as deadlock freedom, protocol compliance, and liveness guarantees.
dcterms:isPartOf
n11:repository
dcterms:subject
n18:QA76
bibo:authorList
n21:authors
bibo:presentedAt
n4:ext-90d9c5c1de7086bb638befe5d807f11c