DC FieldValueLanguage
dc.contributor.authorDezani-Ciancaglini, Mariangiolaen
dc.contributor.authorGhilezan, Silviaen
dc.contributor.authorJakšić, Svetlanaen
dc.contributor.authorPantović, Jovankaen
dc.contributor.authorYoshida, Nobukoen
dc.date.accessioned2020-05-02T16:42:19Z-
dc.date.available2020-05-02T16:42:19Z-
dc.date.issued2016-02-10en
dc.identifier.issn2075-2180en
dc.identifier.urihttp://researchrepository.mi.sanu.ac.rs/handle/123456789/2584-
dc.description.abstractThe notion of subtyping has gained an important role both in theoretical and applicative domains: in lambda and concurrent calculi as well as in programming languages. The soundness and the completeness, together referred to as the preciseness of subtyping, can be considered from two different points of view: operational and denotational. The former preciseness has been recently developed with respect to type safety, i.e. the safe replacement of a term of a smaller type when a term of a bigger type is expected. The latter preciseness is based on the denotation of a type which is a mathematical object that describes the meaning of the type in accordance with the denotations of other expressions from the language. The result of this paper is the operational and denotational preciseness of the subtyping for a synchronous multiparty session calculus. The novelty of this paper is the introduction of characteristic global types to prove the operational completeness.en
dc.publisherOpen Publishing Association-
dc.relationCOST IC1201 BETTY and DART-
dc.relationEPSRC EP/K011715/1, EP/K034413/1, and EP/L00058X/1-
dc.relationEU Project FP7-612985 UpScale-
dc.relation.ispartofElectronic Proceedings in Theoretical Computer Science, EPTCSen
dc.titlePrecise subtyping for synchronous multiparty sessionsen
dc.typeConference Paperen
dc.relation.conference8th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2015; London; United Kingdom; 18 April 2015-
dc.identifier.doi10.4204/EPTCS.203.3en
dc.identifier.scopus2-s2.0-84992593511en
dc.relation.firstpage29en
dc.relation.lastpage43en
dc.relation.volume203en
item.openairecristypehttp://purl.org/coar/resource_type/c_18cf-
item.openairetypeConference Paper-
item.cerifentitytypePublications-
item.grantfulltextnone-
item.fulltextNo Fulltext-
crisitem.author.orcid0000-0003-2253-8285-
Show simple item record

SCOPUSTM   
Citations

20
checked on Jan 29, 2023

Page view(s)

16
checked on Jan 30, 2023

Google ScholarTM

Check

Altmetric

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.