About: On Urgency in Asynchronous Timed Session Types

Not logged in : Login

(Sponging disallowed)

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

About: On Urgency in Asynchronous Timed Session Types 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 #69683 On Urgency in Asynchronous Timed Session Types
sameAs	On Urgency in Asynchronous Timed Session Types
http://eprints.org/ontology/hasAccepted	On Urgency in Asynchronous Timed Session Types (PDF)
http://eprints.org/ontology/hasDocument	On Urgency in Asynchronous Timed Session Types (PDF) On Urgency in Asynchronous Timed Session Types (Other) On Urgency in Asynchronous Timed Session Types (Other) On Urgency in Asynchronous Timed Session Types (Other) On Urgency in Asynchronous Timed Session Types (Other) On Urgency in Asynchronous Timed Session Types (Other)
dc:hasVersion	On Urgency in Asynchronous Timed Session Types (PDF)
Title	On Urgency in Asynchronous Timed Session Types
described by	https://demo.openlinksw.com/about/id/entity/https/www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://demo.openlinksw.com/about/id/entity/https/raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
Date	2018-10-04
Creator	Maurizio Murgia
status	peer reviewed published
Publisher	Open Publishing Association
abstract	We study an urgent semantics of asynchronous timed session types, where input actions happen as soon as possible. We show that with this semantics we can recover to the timed setting an appealing property of untimed session types: namely, deadlock-freedom is preserved when passing from synchronous to asynchronous communication.
Is Part Of	Electronic Proceedings in Theoretical Computer Science https://kar.kent.ac.uk/id/repository
Subject	QA76.76 Computer software
list of authors	https://kar.kent.ac.uk/id/eprint/69683#authors
presented at	Interaction and Concurrency Experience 2018
volume	279
is topic of	https://www.cs.kent.ac.uk/people/staff/akj22/materials/CO644/export_kar_RDFN3.n3 https://raw.githubusercontent.com/annajordanous/CO644Files/main/export_kar_RDFN3.n3
is primary topic of	HTML Summary of #69683 On Urgency in Asynchronous Timed Session Types

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, 28 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software