Zobrazeno 1 - 10
of 95
pro vyhledávání: '"Paola Giannini"'
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 293, Iss Proc. DCM 2018 and ITRS 2018, Pp 39-55 (2019)
Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We present an al
Externí odkaz:
https://doaj.org/article/4e5d5dec17b8402e87e55ef0179ee0d3
Autor:
Giulia Graziani, Aurora Cirillo, Paola Giannini, Stefano Conti, Christophe El-Nakhel, Youssef Rouphael, Alberto Ritieni, Claudio Di Vaio
Publikováno v:
Agriculture, Vol 12, Iss 2, p 227 (2022)
The negative impacts of extreme heat and drought on olive plants have driven the quest for mitigation approaches based on the use of biostimulants, which have proved to be effective in contrasting environmental stresses. The aim of our study was to e
Externí odkaz:
https://doaj.org/article/2e37c293460146d581661816611245cb
Autor:
Giandomenico Corrado, Christophe El-Nakhel, Giulia Graziani, Antonio Pannico, Armando Zarrelli, Paola Giannini, Alberto Ritieni, Stefania De Pascale, Marios C. Kyriacou, Youssef Rouphael
Publikováno v:
Horticulturae, Vol 7, Iss 8, p 211 (2021)
Neglected and underutilized species (NUS) offer largely unexplored opportunities for providing nutritious plant food, while making agro-ecosystems more diverse and resilient to climate change. The aim of this work was to explore the potential of two
Externí odkaz:
https://doaj.org/article/7a393ab6515d4d4499408461faaffbac
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:
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 144, Iss Proc. DCM 2013, Pp 41-56 (2014)
We define BioScapeL, a stochastic pi-calculus in 3D-space. A novel aspect of BioScapeL is that entities have programmable locations. The programmer can specify a particular location where to place an entity, or a location relative to the current loca
Externí odkaz:
https://doaj.org/article/25b9941ee3e348839169e2bec1cc4bf6
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 81-93 (2013)
We define an extension of the simply-typed lambda calculus where two different binding mechanisms, by position and by name, nicely coexist. In the former, as in standard lambda calculus, the matching between parameter and argument is done on a positi
Externí odkaz:
https://doaj.org/article/8dbd641bc1c049cc94400de46871b0e2
Autor:
Adriana Compagnoni, Mariangiola Dezani-Ciancaglini, Paola Giannini, Karin Sauer, Vishakha Sharma, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 100, Iss Proc. MeCBIC 2012, Pp 101-106 (2012)
BioScape is a concurrent language motivated by the biological landscapes found at the interface of biology and biomaterials. It has been motivated by the need to model antibacterial surfaces, biofilm formation, and the effect of DNAse in treating and
Externí odkaz:
https://doaj.org/article/d6655ab5e0d547d6b8399f1a73609197
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 88, Iss Proc. DCM 2011, Pp 43-58 (2012)
In this paper we present a variant of the Calculus of Looping Sequences (CLS for short) with global and local rewrite rules. While global rules, as in CLS, are applied anywhere in a given term, local rules can only be applied in the compartment on wh
Externí odkaz:
https://doaj.org/article/e3cd5b7665a245b0aca6e6abebe285af