Stop the war!Остановите войну!
for scientists:
Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDIvan Lanese
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[d1]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols (Artifact). Dagstuhl Artifacts Ser. 8(2): 21:1-21:5 (2022)- [j34]Ivan Lanese
, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Computing in Debugging of Erlang Programs. IT Prof. 24(1): 74-80 (2022) - [j33]Ivan Lanese, Mariusz Rawski:
Preface for the Special Issue of the 12th Conference on Reversible Computation (RC 2020). Sci. Comput. Program. 218: 102808 (2022) - [c71]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Formal Choreographic Languages. COORDINATION 2022: 121-139 - [c70]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-By-Contract for Flexible Multiparty Session Protocols. ECOOP 2022: 8:1-8:28 - [c69]Laura Bocchi, Ivan Lanese, Claudio Antares Mezzina, Shoji Yuen:
The Reversible Temporal Process Language. FORTE 2022: 31-49 - [c68]Antonio Bucchiarone, Claudio Guidi, Ivan Lanese, Nelly Bencomo, Josef Spillner:
A MAPE-K Approach to Autonomic Microservices. ICSA Companion 2022: 100-103 - [c67]Pietro Lami, Ivan Lanese, Jean-Bernard Stefani, Claudio Sacerdoti Coen, Giovanni Fabbretti:
Reversibility in Erlang: Imperative Constructs. RC 2022: 187-203 - [i13]Lorenzo Gheri, Ivan Lanese, Neil Sayers, Emilio Tuosto, Nobuko Yoshida:
Design-by-Contract for Flexible Multiparty Session Protocols - Extended Version. CoRR abs/2205.06535 (2022) - [i12]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
On Composing Communicating Systems. CoRR abs/2208.04634 (2022) - 2021
- [j32]Ivan Lanese, Doriana Medic, Claudio Antares Mezzina:
Static versus dynamic reversibility in CCS. Acta Informatica 58(1-2): 1-34 (2021) - [j31]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. Fundam. Informaticae 178(3): 229-266 (2021) - [j30]Davide Bresolin, Ivan Lanese:
Static and dynamic property-preserving updates. Inf. Comput. 279: 104611 (2021) - [j29]Ivan Lanese, Ulrik Pagh Schultz, Irek Ulidowski:
Reversible Execution for Robustness in Embodied AI and Industrial Robots. IT Prof. 23(3): 12-17 (2021) - [j28]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Emilio Tuosto:
Composition and decomposition of multiparty sessions. J. Log. Algebraic Methods Program. 119: 100620 (2021) - [c66]Simone Orlando, Vairo Di Pasquale, Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Corinne, a Tool for Choreography Automata. FACS 2021: 82-92 - [c65]Giovanni Fabbretti, Ivan Lanese, Jean-Bernard Stefani:
Causal-Consistent Debugging of Distributed Erlang Programs. RC 2021: 79-95 - [c64]Ivan Lanese, Iain Phillips:
Forward-Reverse Observational Equivalences in CCSK. RC 2021: 126-143 - [i11]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composition of choreography automata. CoRR abs/2107.06727 (2021) - 2020
- [c63]Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro:
The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. Gabbrielli's Festschrift 2020: 5:1-5:21 - [c62]Ivan Lanese, Doriana Medic:
A General Approach to Derive Uncontrolled Reversible Semantics. CONCUR 2020: 33:1-33:24 - [c61]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Choreography Automata. COORDINATION 2020: 86-106 - [c60]Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski:
An Axiomatic Approach to Reversible Computation. FoSSaCS 2020: 442-461 - [c59]Franco Barbanera, Ivan Lanese, Emilio Tuosto:
Composing Communicating Systems, Synchronously. ISoLA (1) 2020: 39-59 - [p7]Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain C. C. Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40 - [p6]Claudio Antares Mezzina, Rudolf Schlatte, Robert Glück, Tue Haulund, James Hoey, Martin Holm Cservenka, Ivan Lanese, Torben Æ. Mogensen, Harun Siljak, Ulrik Pagh Schultz, Irek Ulidowski:
Software and Reversible Systems: A Survey of Recent Activities. Selected Results of the COST Action IC1405 2020: 41-59 - [p5]James Hoey, Ivan Lanese, Naoki Nishida, Irek Ulidowski, Germán Vidal:
A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs. Selected Results of the COST Action IC1405 2020: 108-127 - [e10]Ivan Lanese, Mariusz Rawski:
Reversible Computation - 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings. Lecture Notes in Computer Science 12227, Springer 2020, ISBN 978-3-030-52481-4 [contents] - [e9]Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira:
Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Lecture Notes in Computer Science 12070, Springer 2020, ISBN 978-3-030-47360-0 [contents]
2010 – 2019
- 2019
- [c58]Lukasz Mikulski, Ivan Lanese:
Reversing Unbounded Petri Nets. Petri Nets 2019: 213-233 - [c57]Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro:
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 71-91 - [c56]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Guess Who's Coming: Runtime Inclusion of Participants in Choreographies. The Art of Modelling Computational Systems 2019: 118-138 - [c55]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No More, No Less - A Formal Model for Serverless Computing. COORDINATION 2019: 148-157 - [c54]Ivan Lanese, Adrián Palacios, Germán Vidal:
Causal-Consistent Replay Debugging for Message Passing Programs. FORTE 2019: 167-184 - [i10]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro:
No more, no less - A formal model for serverless computing. CoRR abs/1903.07962 (2019) - 2018
- [j27]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A theory of reversibility for Erlang. J. Log. Algebraic Methods Program. 100: 71-97 (2018) - [j26]Ivan Lanese, Simon J. Devitt:
Preface for the special issue of the 8th Conference on Reversible Computation (RC 2016). Sci. Comput. Program. 151: 1 (2018) - [j25]Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
A theory of retractable and speculative contracts. Sci. Comput. Program. 167: 25-50 (2018) - [c53]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
CauDEr: A Causal-Consistent Reversible Debugger for Erlang. FLOPS 2018: 247-263 - [c52]Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Stefano Pio Zingaro:
A Language-based Approach for Interoperability of IoT Platforms. HICSS 2018: 1-10 - [c51]Saverio Giallorenzo, Ivan Lanese, Daniel Russo:
ChIP: A Choreographic Integration Process. OTM Conferences (2) 2018: 22-40 - [c50]Ivan Lanese:
From Reversible Semantics to Reversible Debugging. RC 2018: 34-46 - [i9]Ivan Lanese, Naoki Nishida, Adrián Palacios, Germán Vidal:
A Theory of Reversibility for Erlang. CoRR abs/1806.07100 (2018) - 2017
- [j24]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Dynamic Choreographies: Theory And Implementation. Log. Methods Comput. Sci. 13(2) (2017) - [j23]Ivan Lanese, Alberto Lluch-Lafuente, Sophia Knight, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2015. J. Log. Algebraic Methods Program. 86(1): 1 (2017) - [j22]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-consistent rollback in a tuple-based language. J. Log. Algebraic Methods Program. 88: 99-120 (2017) - [c49]Franco Barbanera, Ivan Lanese, Ugo de'Liguoro:
Retractable and Speculative Contracts. COORDINATION 2017: 119-137 - [c48]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. Ershov Informatics Conference 2017: 95-104 - [c47]Davide Bresolin, Ivan Lanese:
Most General Property-Preserving Updates. LATA 2017: 367-379 - [p4]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: A Language-Based Approach. Present and Ulterior Software Engineering 2017: 217-225 - [i8]Nicola Dragoni, Ivan Lanese, Stephan Thordal Larsen, Manuel Mazzara, Ruslan Mustafin, Larisa Safina:
Microservices: How To Make Your Application Scale. CoRR abs/1702.07149 (2017) - [i7]Claudio Guidi, Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Microservices: a Language-based Approach. CoRR abs/1704.08073 (2017) - 2016
- [j21]Hans Hüttel, Ivan Lanese, Vasco T. Vasconcelos, Luís Caires, Marco Carbone, Pierre-Malo Deniélou, Dimitris Mostrous, Luca Padovani, António Ravara, Emilio Tuosto, Hugo Torres Vieira, Gianluigi Zavattaro:
Foundations of Session Types and Behavioural Contracts. ACM Comput. Surv. 49(1): 3:1-3:36 (2016) - [j20]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Preface for the special issue on Interaction and Concurrency Experience 2014. J. Log. Algebraic Methods Program. 85(3): 367 (2016) - [j19]Ivan Lanese, Eric Madelaine:
Preface for the special issue of the 11th International Symposium on Formal Aspects of Component Software. Sci. Comput. Program. 127: 1 (2016) - [j18]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversibility in the higher-order π-calculus. Theor. Comput. Sci. 625: 25-84 (2016) - [c46]Alexis Bernadet, Ivan Lanese:
A Modular Formalization of Reversibility for Concurrent Models and Languages. ICE 2016: 98-112 - [e8]Elvira Albert, Ivan Lanese:
Formal Techniques for Distributed Objects, Components, and Systems - 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings. Lecture Notes in Computer Science 9688, Springer 2016, ISBN 978-3-319-39569-2 [contents] - [e7]Simon J. Devitt, Ivan Lanese:
Reversible Computation - 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings. Lecture Notes in Computer Science 9720, Springer 2016, ISBN 978-3-319-40577-3 [contents] - [i6]Manuel Mazzara, Ruslan Mustafin, Larisa Safina, Ivan Lanese:
Towards Microservices and Beyond: An incoming Paradigm Shift in Distributed Computing. CoRR abs/1610.01778 (2016) - 2015
- [j17]Ivan Lanese, Davide Sangiorgi:
Preface: Special issue on objects and services. Math. Struct. Comput. Sci. 25(3): 480-481 (2015) - [j16]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Developing correct, distributed, adaptive software. Sci. Comput. Program. 97: 41-46 (2015) - [j15]Ivan Lanese, Manuel Mazzara, Fabrizio Montesi:
Special issue on Service-Oriented Architecture and Programming (SOAP 2013). Sci. Comput. Program. 97: 181-182 (2015) - [j14]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Preface for the special issue on Interaction and Concurrency Experience 2012. Sci. Comput. Program. 100: 1 (2015) - [j13]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Preface for the special issue of Interaction and Concurrency Experience 2013. Sci. Comput. Program. 109: 1 (2015) - [c45]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521 - [c44]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications. COORDINATION 2015: 67-82 - [c43]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility in a Tuple-Based Language. PDP 2015: 467-475 - [c42]Franco Barbanera, Mariangiola Dezani-Ciancaglini, Ivan Lanese, Ugo de'Liguoro:
Retractable Contracts. PLACES 2015: 61-72 - [e6]Ivan Lanese, Eric Madelaine:
Formal Aspects of Component Software - 11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers. Lecture Notes in Computer Science 8997, Springer 2015, ISBN 978-3-319-15316-2 [contents] - [e5]Sophia Knight, Ivan Lanese, Alberto Lluch-Lafuente, Hugo Torres Vieira:
Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015. EPTCS 189, 2015 [contents] - 2014
- [j12]Ivan Lanese, Claudio Antares Mezzina, Francesco Tiezzi:
Causal-Consistent Reversibility. Bull. EATCS 114 (2014) - [j11]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects Comput. 26(5): 865-918 (2014) - [c41]Elena Giachino, Ivan Lanese, Claudio Antares Mezzina:
Causal-Consistent Reversible Debugging. FASE 2014: 370-384 - [c40]Ivan Lanese, Michael Lienhardt, Mario Bravetti, Einar Broch Johnsen, Rudolf Schlatte, Volker Stolz, Gianluigi Zavattaro:
Fault Model Design Space for Cooperative Concurrency. ISoLA (2) 2014: 22-36 - [c39]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. SLE 2014: 161-170 - [e4]Josep Díaz, Ivan Lanese, Davide Sangiorgi:
Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Lecture Notes in Computer Science 8705, Springer 2014, ISBN 978-3-662-44601-0 [contents] - [e3]Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova, Hugo Torres Vieira:
Proceedings 7th Interaction and Concurrency Experience, ICE 2014, Berlin, Germany, 6th June 2014. EPTCS 166, 2014 [contents] - [i5]Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro:
Deadlock Freedom by Construction for Distributed Adaptive Applications. CoRR abs/1407.0970 (2014) - [i4]Mila Dalla Preda, Saverio Giallorenzo, Ivan Lanese, Jacopo Mauro, Maurizio Gabbrielli:
AIOCJ: A Choreographic Framework for Safe Adaptive Distributed Applications. CoRR abs/1407.0975 (2014) - 2013
- [c38]Ivan Lanese, Gianluigi Zavattaro:
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150 - [c37]Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Concurrent Flexible Reversibility. ESOP 2013: 370-390 - [c36]Ivan Lanese, Luca Bedogni, Marco Di Felice:
Internet of things: a process calculus approach. SAC 2013: 1339-1346 - [c35]Mario Bravetti, Marco Carbone, Thomas T. Hildebrandt, Ivan Lanese, Jacopo Mauro, Jorge A. Pérez, Gianluigi Zavattaro:
Towards Global and Local Types for Adaptation. SEFM Workshops 2013: 3-14 - [c34]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Amending Choreographies. WWV 2013: 34-48 - [e2]Marco Carbone, Ivan Lanese, Alberto Lluch-Lafuente, Ana Sokolova:
Proceedings 6th Interaction and Concurrency Experience, ICE 2013, Florence, Italy, 6th June 2013. EPTCS 131, 2013 [contents] - 2012
- [c33]Michael Lienhardt, Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
A Reversible Abstract Machine and Its Space Overhead. FMOODS/FORTE 2012: 1-17 - [c32]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Controlled Reversibility and Compensations. RC 2012: 233-240 - [e1]Marco Carbone, Ivan Lanese, Alexandra Silva, Ana Sokolova:
Proceedings Fifth Interaction and Concurrency Experience, ICE 2012, Stockholm, Sweden, 16th June 2012. EPTCS 104, 2012 [contents] - 2011
- [j10]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the expressiveness and decidability of higher-order process calculi. Inf. Comput. 209(2): 198-226 (2011) - [c31]Ivan Lanese, Claudio Antares Mezzina, Alan Schmitt, Jean-Bernard Stefani:
Controlling Reversibility in Higher-Order Pi. CONCUR 2011: 297-311 - [c30]Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future. COORDINATION 2011: 1-15 - [c29]Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600 - [p3]Ivan Lanese, António Ravara, Hugo Torres Vieira:
Behavioral Theory for Session-Oriented Calculi. Results of the SENSORIA Project 2011: 189-213 - [p2]Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro:
Advanced Mechanisms for Service Combination and Transactions. Results of the SENSORIA Project 2011: 302-325 - [p1]Massimo Bartoletti, Luís Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino:
Tools and Verification. Results of the SENSORIA Project 2011: 408-427 - 2010
- [j9]Ivan Lanese, Davide Sangiorgi:
An operational semantics for a calculus for wireless systems. Theor. Comput. Sci. 411(19): 1928-1948 (2010) - [c28]Ivan Lanese, Claudio Antares Mezzina, Jean-Bernard Stefani:
Reversing Higher-Order Pi. CONCUR 2010: 478-493 - [c27]Ivan Lanese, Cátia Vaz, Carla Ferreira:
On the Expressive Power of Primitives for Compensation Handling. ESOP 2010: 366-386 - [c26]Michael Lienhardt, Ivan Lanese, Mario Bravetti, Davide Sangiorgi, Gianluigi Zavattaro, Yannick Welsch, Jan Schäfer, Arnd Poetzsch-Heffter:
A Component Model for the ABS Language. FMCO 2010: 165-183 - [c25]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadic and Synchronous Communication in Higher-Order Process Calculi. ICALP (2) 2010: 442-453 - [c24]Ivan Lanese, Fabrizio Montesi:
Error Handling: From Theory to Practice. ISoLA (2) 2010: 66-81 - [c23]Ivan Lanese, Antonio Bucchiarone, Fabrizio Montesi:
A Framework for Rule-Based Dynamic Adaptation. TGC 2010: 284-300 - [c22]Roberto Bruni, Anne Kersten, Ivan Lanese, Giorgio Spagnolo:
A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions. WADT 2010: 42-60 - [c21]Ivan Lanese:
Static vs Dynamic SAGAs. ICE 2010: 51-65
2000 – 2009
- 2009
- [j8]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95(1): 73-102 (2009) - [c20]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness of Polyadicity in Higher-Order Process Calculi. ICTCS 2009: 143-149 - [c19]Ivan Lanese, Gianluigi Zavattaro:
Programming Sagas in SOCK. SEFM 2009: 189-198 - 2008
- [j7]Ivan Lanese:
Exploiting User-definable Synchronizations in Graph Transformation. Electron. Notes Theor. Comput. Sci. 211: 27-38 (2008) - [j6]Roberto Bruni, Ivan Lanese:
Parametric synchronizations in mobile nominal calculi. Theor. Comput. Sci. 402(2-3): 102-119 (2008) - [c18]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198 - [c17]Ivan Lanese, Hernán C. Melgratti:
Synchronous Multiparty Synchronizations and Transactions. Concurrency, Graphs and Models 2008: 76-95 - [c16]Roberto Bruni, Ivan Lanese, Hernán C. Melgratti, Emilio Tuosto:
Multiparty Sessions in SOC. COORDINATION 2008: 67-82 - [c15]Fabrizio Montesi, Claudio Guidi, Ivan Lanese, Gianluigi Zavattaro:
Dynamic Fault Handling Mechanisms for Service-Oriented Applications. ECOWS 2008: 225-234 - [c14]Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos:
Behavioural Theory at Work: Program Transformations in a Service-Centred Calculus. FMOODS 2008: 59-77 - [c13]Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt:
On the Expressiveness and Decidability of Higher-Order Process Calculi. LICS 2008: 145-155 - [c12]Ivan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro:
Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332 - [c11]Mario Bravetti, Ivan Lanese, Gianluigi Zavattaro:
Contract-Driven Implementation of Choreographies. TGC 2008: 1-18 - [c10]Farhad Arbab, Roberto Bruni, Dave Clarke, Ivan Lanese, Ugo Montanari:
Tiles for Reo. WADT 2008: 37-55 - 2007
- [j5]Ivan Lanese, Ugo Montanari:
Mapping Fusion and Synchronized Hyperedge Replacement into logic programming. Theory Pract. Log. Program. 7(1-2): 123-151 (2007) - [c9]Ivan Lanese, Francisco Martins, Vasco Thudichum Vasconcelos, António Ravara:
Disciplining Orchestration and Conversation in Service-Oriented Computing. SEFM 2007: 305-314 - [c8]Ivan Lanese:
Concurrent and Located Synchronizations in pi-Calculus. SOFSEM (1) 2007: 388-399 - 2006
- [j4]Ivan Lanese, Ugo Montanari:
Hoare vs Milner: Comparing Synchronizations in a Graphical Framework With Mobility. Electron. Notes Theor. Comput. Sci. 154(2): 55-72 (2006) - [j3]