Zobrazeno 1 - 10
of 104
pro vyhledávání: '"Mario Coppo"'
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 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
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
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 58-80 (2013)
This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other. Notably, invertible terms a
Externí odkaz:
https://doaj.org/article/b966f6a0e122464ba8183e60f3046c40
Autor:
Cristina Calcagno, Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Eva Sciacca, Salvatore Spinella, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 67, Iss Proc. CompMod 2011, Pp 3-18 (2011)
Arbuscular mycorrhiza (AM) is the most wide-spread plant-fungus symbiosis on earth. Investigating this kind of symbiosis is considered one of the most promising ways to develop methods to nurture plants in more natural manners, avoiding the complex c
Externí odkaz:
https://doaj.org/article/2e97c50600a643cd88350482c1f1e366
Autor:
Mario Coppo, Ferruccio Damiani, Maurizio Drocco, Elena Grassi, Eva Sciacca, Salvatore Spinella, Angelo Troina
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 40, Iss Proc. MeCBIC 2010, Pp 102-120 (2010)
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of ordinary differential equations (ODEs). Alternative approaches based on formal calculi, often derived from process algebras or term rewriting
Externí odkaz:
https://doaj.org/article/b286d9f375c748d89d5cfb8eeea94339
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 28, Iss Proc. QAPL 2010, Pp 82-98 (2010)
The Calculus of Wrapped Compartments (CWC) is a variant of the Calculus of Looping Sequences (CLS). While keeping the same expressiveness, CWC strongly simplifies the development of automatic tools for the analysis of biological systems. The main sim
Externí odkaz:
https://doaj.org/article/a6c73ed3e7a64cc69ce1d5e84e06be44
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 6, Iss Proc. COMPMOD 2009, Pp 77-92 (2009)
The Stochastic Calculus of Looping Sequences (SCLS) is a recently proposed modelling language for the representation and simulation of biological systems behaviour. It has been designed with the aim of combining the simplicity of notation of rewrite
Externí odkaz:
https://doaj.org/article/02975bc7fca84964bc9ab4ed626f9cc4
Autor:
Paula Bartolomé i Gadea, Mario Coppola
Publikováno v:
Journal of Feline Medicine and Surgery Open Reports, Vol 10 (2024)
Case summary An 11-year-old female neutered domestic shorthair cat was referred for surgical management of a traumatic right stifle luxation. Orthopaedic examination of the affected stifle under general anaesthesia revealed joint effusion and cranioc
Externí odkaz:
https://doaj.org/article/7808ad111c5f4336bb3ceb4bafc839a0
Publikováno v:
Journal of Logical and Algebraic Methods in Programming. 90:31-49
This paper presents a formal framework of self-adaptation for multiparty sessions. The adaptation function contains the dynamic evolution policy, by prescribing how the session needs to reconfigure itself, based on critical changes in global data. A
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::7ba0e3117582c5f423bea3ec083f4478
https://doi.org/10.1016/j.jlamp.2017.02.007
https://doi.org/10.1016/j.jlamp.2017.02.007