Zobrazeno 1 - 10
of 178
pro vyhledávání: '"Mariangiola Dezani-Ciancaglini"'
Publikováno v:
Logical Methods in Computer Science, Vol Volume 19, Issue 1 (2023)
Multiparty sessions with asynchronous communications and global types play an important role for the modelling of interaction protocols in distributed systems. In designing such calculi the aim is to enforce, by typing, good properties for all partic
Externí odkaz:
https://doaj.org/article/21d4672e6b9c4d0bab27f79d120a30b3
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 304, Iss Proc. ICE 2019, Pp 77-96 (2019)
Multiparty sessions are systems of concurrent processes, which allow several participants to communicate by sending and receiving messages. Their overall behaviour can be described by means of global types. Typable multiparty session enjoy lock-freed
Externí odkaz:
https://doaj.org/article/bb53b243efc94786bb17aec13c509f8f
Autor:
Mario Coppo, Mariangiola Dezani-Ciancaglini, Alejandro Díaz-Caro, Ines Margaria, Maddalena Zacchi
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 242, Iss Proc. ITRS 2016, Pp 31-47 (2017)
This paper deals with retraction - intended as isomorphic embedding - in intersection types building left and right inverses as terms of a lambda calculus with a bottom constant. The main result is a necessary and sufficient condition two strict inte
Externí odkaz:
https://doaj.org/article/af245f4b426d487faaf1482fac5ae6ef
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 222, Iss Proc. EXPRESS/SOS 2016, Pp 60-74 (2016)
Reversible interactions model different scenarios, like biochemical systems and human as well as automatic negotiations. We abstract interactions via multiparty sessions enriched with named checkpoints. Computations can either go forward or roll back
Externí odkaz:
https://doaj.org/article/34aa9f3ee8374af09052025372a21e04
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 1-12 (2016)
Multiparty session calculi have been recently equipped with security requirements, in order to guarantee properties such as access control and leak freedom. However, the proposed security requirements seem to be overly restrictive in some cases. In p
Externí odkaz:
https://doaj.org/article/b64dff4262894a6b9e91de916ccfb4ef
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 211, Iss Proc. PLACES 2016, Pp 25-36 (2016)
The paper presents a data-driven model of self-adaptivity for multiparty sessions. System choreography is prescribed by a global type. Participants are incarnated by processes associated with monitors, which control their behaviour. Each participant
Externí odkaz:
https://doaj.org/article/025a50bdd63a403bb7cbea1c1ef79e4e
Autor:
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan, Svetlana Jakšić, Jovanka Pantović, Nobuko Yoshida
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 29-43 (2016)
The 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 sub
Externí odkaz:
https://doaj.org/article/2070fd27c86a4f6bb7f2c19c7b904218
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 61-72 (2016)
In calculi for modelling communication protocols, internal and external choices play dual roles. Two external choices can be viewed naturally as dual too, as they represent an agreement between the communicating parties. If the interaction fails, the
Externí odkaz:
https://doaj.org/article/3a942061158747a9a0c8027b527731e9
Publikováno v:
Logical Methods in Computer Science, Vol Volume 14, Issue 3 (2018)
We present FJ&$\lambda$, a new core calculus that extends Featherweight Java (FJ) with interfaces, supporting multiple inheritance in a restricted form, $\lambda$-expressions, and intersection types. Our main goal is to formalise how lambdas and inte
Externí odkaz:
https://doaj.org/article/3c6c4a67270f4f78b79399eae29d1e50
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 177, Iss Proc. ITRS 2014, Pp 53-64 (2015)
Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user. Moreover type isomorphism gives for free the coercion required to include the
Externí odkaz:
https://doaj.org/article/f3ed4df4543a425fa82b9a8624266d64