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

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

Namespace Prefixes

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

Statements

Subject Item
n2:72337
rdf:type
n3:ConferenceItemEPrint bibo:AcademicArticle n3:EPrint bibo:Article
rdfs:seeAlso
n19:
owl:sameAs
n9:978-3-030-17184-1_21
n3:hasAccepted
n4:3170818
n3:hasDocument
n4:3170818 n4:3170823 n4:3170898 n4:3170899 n4:3170900 n4:3170901 n4:3177602 n4:3177603 n4:3177604 n4:3177605 n4:3177606 n4:3177607
n3:hasPublished
n4:3177602
dc:hasVersion
n4:3170818 n4:3177602
dcterms:title
Asynchronous timed session types: from duality to time-sensitive processes
wdrs:describedby
n13:export_kar_RDFN3.n3 n16:export_kar_RDFN3.n3
dcterms:date
2019-04-06
dcterms:creator
n11:ext-n.yoshida@imperial.ac.uk n11:ext-l.bocchi@kent.ac.uk n11:ext-m.murgia@kent.ac.uk n11:ext-c51f332b9d06152f7e717ffad1507cef
bibo:status
n20:peerReviewed n20:published
dcterms:publisher
n6:ext-1c5ddec173ca8cdfba8b274309638579
bibo:abstract
We present a behavioural typing system for a higher-order timed calculus, using session types to model timed protocols, and the calculus to abstract implementations. Behavioural typing ensures that processes in the calculus will perform actions in the time-windows prescribed by their protocols. We introduce duality and subtyping for timed asynchronous session types. Duality includes a class of protocols that previous work on asynchronous timed session types could not type-check. Subtyping is critical for precision of our typing system, especially for session delegation. The composition of dual (timed asynchronous) types enjoys progress when using an urgent receive semantics, in which receive actions are executed as soon as the expected message is available. Our calculus increases the modelling power of calculi used in the previous work on timed sessions, adding a blocking receive primitive with timeout, and a primitive that consumes an arbitrary amount of time in a given range.
dcterms:isPartOf
n10:repository n22:ext-03029743
dcterms:subject
n14:QA76.76
bibo:authorList
n15:authors
bibo:presentedAt
n21:ext-57410602d75da478cbf24051c472b618
bibo:volume
11423