About: Asynchronous timed session types: from duality to time-sensitive processes

Not logged in : Login

(Sponging disallowed)

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Asynchronous timed session types: from duality to time-sensitive processes Goto Sponge NotDistinct Permalink

An Entity of Type : bibo:AcademicArticle, within Data Space : demo.openlinksw.com associated with source document(s)

Attributes	Values
type	http://eprints.org/ontology/ConferenceItemEPrint http://eprints.org/ontology/EPrint Article Academic Article
seeAlso	HTML Summary of #72337 Asynchronous timed session types: from duality to time-sensitive processes
sameAs	Asynchronous timed session types: from duality to time-sensitive processes
http://eprints.org/ontology/hasAccepted	Asynchronous timed session types: from duality to time-sensitive processes (PDF)
http://eprints.org/ontology/hasDocument	Asynchronous timed session types: from duality to time-sensitive processes (PDF) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (PDF) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other) Asynchronous timed session types: from duality to time-sensitive processes (Other)
http://eprints.org/ontology/hasPublished	Asynchronous timed session types: from duality to time-sensitive processes (PDF)
dc:hasVersion	Asynchronous timed session types: from duality to time-sensitive processes (PDF) Asynchronous timed session types: from duality to time-sensitive processes (PDF)
Title	Asynchronous timed session types: from duality to time-sensitive processes
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
Date	2019-04-06
Creator	Vasco Thudichum Vasconcelos Laura Bocchi Maurizio Murgia Nobuko Yoshida
status	peer reviewed published
Publisher	Springer
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.
Is Part Of	Financial Cryptography and Data Security https://kar.kent.ac.uk/id/repository
Subject	QA76.76 Computer software
list of authors	https://kar.kent.ac.uk/id/eprint/72337#authors
presented at	28th European Symposium on Programming (ESOP)
volume	11423
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #72337 Asynchronous timed session types: from duality to time-sensitive processes

Faceted Search & Find service v1.17_git144 as of Jul 26 2024

Alternative Linked Data Documents: iSPARQL | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3331 as of Aug 25 2024, on Linux (x86_64-ubuntu_noble-linux-glibc2.38-64), Single-Server Edition (378 GB total memory, 45 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software