Zobrazeno 1 - 10
of 79
pro vyhledávání: '"Luca Padovani"'
Publikováno v:
Scientific Reports, Vol 11, Iss 1, Pp 1-7 (2021)
Abstract Several fish species propel by oscillating the tail, while the remaining part of the body essentially contributes to the overall drag. Since in this case thrust and drag are in a way separable, most attention was focused on the study of prop
Externí odkaz:
https://doaj.org/article/105b9ad0b4c74da1ae82186632a3712a
Publikováno v:
Biomimetics, Vol 8, Iss 5, p 401 (2023)
The recoil motions in free swimming, given by lateral and angular rigid motions due to the interaction with the surrounding water, are of great importance for a correct evaluation of both the forward locomotion speed and efficiency of a fish-like bod
Externí odkaz:
https://doaj.org/article/ca8b3b2769994466bbcf9fedc46aaf4c
Autor:
Luca Ciccone, Luca Padovani
Publikováno v:
Logical Methods in Computer Science, Vol Volume 18, Issue 3 (2022)
Many properties of communication protocols combine safety and liveness aspects. Characterizing such combined properties by means of a single inference system is difficult because of the fundamentally different techniques (coinduction and induction, r
Externí odkaz:
https://doaj.org/article/e5c54144388c464ca1a1db7daf369fbb
Autor:
Rosita Gerbo, Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 291, Iss Proc. PLACES 2019, Pp 24-34 (2019)
We describe a generative approach that enables concurrent typestate-oriented programming in Java and other mainstream languages. The approach allows programmers to implement objects exposing a state-sensitive interface using a high-level synchronizat
Externí odkaz:
https://doaj.org/article/cc9b6133f1384afb92a5c07e51b30064
Publikováno v:
Logical Methods in Computer Science, Vol Volume 13, Issue 2 (2017)
We define a novel calculus that combines a call-by-name functional core with session-based communication primitives. We develop a typing discipline that guarantees both normalisation of expressions and progress of processes and that uncovers an unexp
Externí odkaz:
https://doaj.org/article/4e3abf07b65d4c8bb6d34d67c2a4882c
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 155, Iss Proc. PLACES 2014, Pp 61-71 (2014)
There has been a considerable amount of work on retrieving functions in function libraries using their type as search key. The availability of rich component specifications, in the form of behavioral types, enables similar queries where one can searc
Externí odkaz:
https://doaj.org/article/b4b20e6b2d634164a33b70aa530d6130
Autor:
Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 137, Iss Proc. PLACES 2013, Pp 3-19 (2013)
Inspired by Kobayashi's type system for lock freedom, we define a behavioral type system for ensuring progress in a language of binary sessions. The key idea is to annotate actions in session types with priorities representing the urgency with which
Externí odkaz:
https://doaj.org/article/edeb66b1ce72426ca8e07e26ba1b00fa
Autor:
Viviana Bono, Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 59, Iss Proc. ICE 2011, Pp 52-67 (2011)
We present PolySing#, a calculus that models process interaction based on copyless message passing, in the style of Singularity OS. We equip the calculus with a type system that accommodates polymorphic endpoint types, which are a variant of polymorp
Externí odkaz:
https://doaj.org/article/1cc1a5cb886f4cb18fe27c29467d633b
Autor:
Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 45, Iss Proc. ITRS 2010, Pp 71-89 (2011)
We propose a semantically grounded theory of session types which relies on intersection and union types. We argue that intersection and union types are natural candidates for modeling branching points in session types and we show that the resulting t
Externí odkaz:
https://doaj.org/article/6941fdf9185a476ea230e9195838937e
Autor:
Luca Padovani
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 12, Iss Proc. ICE 2009, Pp 71-86 (2009)
We (re)define session types as projections of process behaviors with respect to the communication channels they use. In this setting, we give session types a semantics based on fair testing. The outcome is a unified theory of behavioral types that sh
Externí odkaz:
https://doaj.org/article/e300799fe9a046beb7e9f6d52aebaef9