Следене
Ivan Lanese
Ivan Lanese
Потвърден имейл адрес: unibo.it - Начална страница
Заглавие
Позовавания
Позовавания
Година
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
2712016
Microservices: How to make your application scale
N Dragoni, I Lanese, ST Larsen, M Mazzara, R Mustafin, L Safina
Perspectives of System Informatics: 11th International Andrei P. Ershov …, 2018
2522018
SCC: a service centered calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
International Workshop on Web Services and Formal Methods, 38-57, 2006
2052006
Bridging the gap between interaction-and process-oriented choreographies
I Lanese, C Guidi, F Montesi, G Zavattaro
2008 Sixth IEEE International Conference on Software Engineering and Formal …, 2008
1252008
Disciplining orchestration and conversation in service-oriented computing
I Lanese, F Martins, VT Vasconcelos, A Ravara
Fifth IEEE International Conference on Software Engineering and Formal …, 2007
1122007
Reversing higher-order pi
I Lanese, CA Mezzina, JB Stefani
International Conference on Concurrency Theory, 478-493, 2010
1052010
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
International Conference on Concurrency Theory, 297-311, 2011
922011
On the expressiveness and decidability of higher-order process calculi
I Lanese, JA Pérez, D Sangiorgi, A Schmitt
Information and Computation 209 (2), 198-226, 2011
882011
A basic algebra of stateless connectors
R Bruni, I Lanese, U Montanari
Theoretical Computer Science 366 (1-2), 98-120, 2006
872006
An operational semantics for a calculus for wireless systems
I Lanese, D Sangiorgi
Theoretical Computer Science 411 (19), 1928-1948, 2010
802010
Causal-consistent reversible debugging
E Giachino, I Lanese, CA Mezzina
International Conference on Fundamental Approaches to Software Engineering …, 2014
792014
CauDEr: a causal-consistent reversible debugger for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
International Symposium on Functional and Logic Programming, 247-263, 2018
742018
Synchronised hyperedge replacement as a model for service oriented computing
GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto
Formal Methods for Components and Objects: 4th International Symposium, FMCO …, 2006
742006
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
712014
Reversibility in the higher-order π-calculus
I Lanese, CA Mezzina, JB Stefani
Theoretical Computer Science 625, 25-84, 2016
652016
Microservices: a language-based approach
C Guidi, I Lanese, M Mazzara, F Montesi
Present and Ulterior Software Engineering, 217-225, 2017
642017
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
Coordination Models and Languages: 10th International Conference …, 2008
642008
A theory of reversibility for Erlang
I Lanese, N Nishida, A Palacios, G Vidal
Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018
622018
Dynamic choreographies: Theory and implementation
M Dalla Preda, M Gabbrielli, S Giallorenzo, I Lanese, J Mauro
Logical Methods in Computer Science 13, 2017
612017
Concurrent flexible reversibility
I Lanese, M Lienhardt, CA Mezzina, A Schmitt, JB Stefani
European Symposium on Programming, 370-390, 2013
612013
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20