Ivan Lanese
Titolo
Citata da
Citata da
Anno
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
2042006
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
1632016
Microservices: How to make your application scale
N Dragoni, I Lanese, ST Larsen, M Mazzara, R Mustafin, L Safina
International Andrei Ershov Memorial Conference on Perspectives of System …, 2017
1222017
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
1172008
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
922010
A basic algebra of stateless connectors
R Bruni, I Lanese, U Montanari
Theoretical Computer Science 366 (1-2), 98-120, 2006
802006
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
792011
Controlling reversibility in higher-order pi
I Lanese, CA Mezzina, A Schmitt, JB Stefani
International Conference on Concurrency Theory, 297-311, 2011
742011
An operational semantics for a calculus for wireless systems
I Lanese, D Sangiorgi
Theoretical Computer Science 411 (19), 1928-1948, 2010
732010
Synchronised hyperedge replacement as a model for service oriented computing
GL Ferrari, D Hirsch, I Lanese, U Montanari, E Tuosto
International Symposium on Formal Methods for Components and Objects, 22-43, 2005
722005
Multiparty sessions in SOC
R Bruni, I Lanese, H Melgratti, E Tuosto
International Conference on Coordination Languages and Models, 67-82, 2008
642008
Causal-consistent reversibility
I Lanese, CA Mezzina, F Tiezzi
Bulletin of EATCS 3 (114), 2014
622014
Towards a unifying theory for web services composition
M Mazzara, I Lanese
International Workshop on Web Services and Formal Methods, 257-272, 2006
592006
Causal-consistent reversible debugging
E Giachino, I Lanese, CA Mezzina
International Conference on Fundamental Approaches to Software Engineering …, 2014
532014
A framework for rule-based dynamic adaptation
I Lanese, A Bucchiarone, F Montesi
International Symposium on Trustworthy Global Computing, 284-300, 2010
512010
AIOCJ: A choreographic framework for safe adaptive distributed applications
M Dalla Preda, S Giallorenzo, I Lanese, J Mauro, M Gabbrielli
International Conference on Software Language Engineering, 161-170, 2014
462014
On the interplay between fault handling and request-response service invocations
C Guidi, I Lanese, F Montesi, G Zavattaro
2008 8th International Conference on Application of Concurrency to System …, 2008
452008
Reversibility in the higher-order π-calculus
I Lanese, CA Mezzina, JB Stefani
Theoretical Computer Science 625, 25-84, 2016
442016
Internet of things: a process calculus approach
I Lanese, L Bedogni, M Di Felice
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 1339-1346, 2013
442013
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20