


Остановите войну!
for scientists:
Ivan 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 - [i12]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) - 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]Roberto Bruni
, Ivan Lanese
, Ugo Montanari:
A basic algebra of stateless connectors. Theor. Comput. Sci. 366(1-2): 98-120 (2006) - [c7]