default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGianluigi Zavattaro
Person information
- affiliation: University of Bologna, Italy
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c125]Monica Vitali, Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Simone Gazza, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro:
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures. CAiSE Research Projects Exhibition 2024: 69-75- [c124]Giuseppe De Palma
, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
An OpenWhisk Extension for Topology-Aware Allocation Priority Policies. COORDINATION 2024: 201-218 - [c123]Jacopo Soldani, Roberto Amadini, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Monica Vitali, Gianluigi Zavattaro:
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA. FRAME@HPDC 2024 - [c122]Roberto Amadini, Simone Gazza, Jacopo Soldani, Monica Vitali, Antonio Brogi, Stefano Forti, Saverio Giallorenzo, Pierluigi Plebani, Francisco Ponce, Gianluigi Zavattaro:
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications. LOPSTR 2024: 117-127 - [p6]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Integrated Timed Architectural Modeling/Execution Language. Active Object Languages: Current Research Trends 2024: 169-198 - [i14]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
FunLess: Functions-as-a-Service for Private Edge Cloud Systems. CoRR abs/2405.21009 (2024) - [i13]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Towards a Function-as-a-Service Choreographic Programming Language: Examples and Applications. CoRR abs/2406.09099 (2024) - [i12]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
On the Complexity of Reachability Properties in Serverless Function Scheduling. CoRR abs/2407.14159 (2024) - [i11]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Affinity-aware Serverless Function Scheduling. CoRR abs/2407.14572 (2024) - 2023
- [j42]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Formally Verifying Function Scheduling Properties in Serverless Applications. IT Prof. 25(6): 94-99 (2023) - [c121]Giuseppe De Palma, Saverio Giallorenzo, Cosimo Laneve, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Serverless Scheduling Policies based on Cost Analysis. TiCSA@ETAPS 2023: 40-52 - [e14]Gokila Dorai, Maurizio Gabbrielli, Giulio Manzonetto, Aomar Osmani, Marco Prandini, Gianluigi Zavattaro, Olaf Zimmermann:
Joint Post-proceedings of the Third and Fourth International Conference on Microservices, Microservices 2020/2022, May 10-12, 2022, Paris, France. OASIcs 111, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2023, ISBN 978-3-95977-306-5 [contents] - 2022
- [j41]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco Di Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna:
Low-Latency Anomaly Detection on the Edge-Cloud Continuum for Industry 4.0 Applications: the SEAWALL Case Study. IEEE Internet Things Mag. 5(3): 32-37 (2022) - [c120]Lorenzo Bacchiani, Giuseppe De Palma, Luca Sciullo, Mario Bravetti, Marco De Felice, Maurizio Gabbrielli, Gianluigi Zavattaro, Roberto Della Penna, Corrado Iorizzo, Andrea Livaldi, Luca Magnotta, Mirko Orsini:
SEAWALL: Seamless Low Latency Cloud Platforms for the Industry 4.0. CIoT 2022: 90-91 - [c119]Lorenzo Bacchiani, Mario Bravetti, Maurizio Gabbrielli, Saverio Giallorenzo, Gianluigi Zavattaro, Stefano Pio Zingaro:
Proactive-Reactive Global Scaling, with Analytics. ICSOC 2022: 237-254 - [c118]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
A Declarative Approach to Topology-Aware Serverless Function-Execution Scheduling. ICWS 2022: 337-342 - [c117]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Custom Serverless Function Scheduling Policies: An APP Tutorial. Microservices 2022: 5:1-5:16 - [i10]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro:
Topology-aware Serverless Function-Execution Scheduling. CoRR abs/2205.10176 (2022) - 2021
- [j40]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation. Log. Methods Comput. Sci. 17(1) (2021) - [j39]Mario Bravetti, Gianluigi Zavattaro:
Asynchronous session subtyping as communicating automata refinement. Softw. Syst. Model. 20(2): 311-333 (2021) - [c116]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool. COORDINATION 2021: 90-105 - [c115]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration. COORDINATION 2021: 257-275 - [c114]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types. FoSSaCS 2021: 144-163 - [i9]Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
Fair Refinement for Asynchronous Session Types (extended version). CoRR abs/2101.08181 (2021) - [i8]Lorenzo Bacchiani, Mario Bravetti, Julien Lange, Gianluigi Zavattaro:
A Session Subtyping Tool (Extended Version). CoRR abs/2104.12455 (2021) - [i7]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version). CoRR abs/2104.12466 (2021) - 2020
- [j38]Mario Bravetti, Gianluigi Zavattaro:
Process calculi as a tool for studying coordination, contracts and session types. J. Log. Algebraic Methods Program. 112: 100527 (2020) - [c113]Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Gianluigi Zavattaro:
Allocation Priority Policies for Serverless Function-Execution Scheduling Optimisation. ICSOC 2020: 416-430 - [p5]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
A Formal Approach to Microservice Architecture Deployment. Microservices, Science and Engineering 2020: 183-208 - [i6]Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Microservice Interface Based Deployment Orchestration. CoRR abs/2008.01638 (2020)
2010 – 2019
- 2019
- [j37]Stijn de Gouw, Jacopo Mauro, Gianluigi Zavattaro:
On the modeling of optimal and automatized cloud application deployment. J. Log. Algebraic Methods Program. 107: 108-135 (2019) - [c112]Ivan Lanese, Davide Sangiorgi, Gianluigi Zavattaro:
Playing with Bisimulation in Erlang. Models, Languages, and Tools for Concurrent and Distributed Programming 2019: 71-91 - [c111]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping. CONCUR 2019: 38:1-38:16 - [c110]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. FASE 2019: 351-368 - [c109]Mario Bravetti, Gianluigi Zavattaro:
Relating Session Types and Behavioural Contracts: The Asynchronous Case. SEFM 2019: 29-47 - [i5]Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro:
Optimal and Automated Deployment for Microservices. CoRR abs/1901.09782 (2019) - [i4]Mario Bravetti, Marco Carbone, Julien Lange, Nobuko Yoshida, Gianluigi Zavattaro:
A Sound Algorithm for Asynchronous Session Subtyping (extended version). CoRR abs/1907.00421 (2019) - 2018
- [j36]Frank S. de Boer, Mario Bravetti, Matias David Lee, Gianluigi Zavattaro:
A Petri Net Based Modeling of Active Objects and Futures. Fundam. Informaticae 159(3): 197-256 (2018) - [j35]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
On the boundary between decidability and undecidability of asynchronous session subtyping. Theor. Comput. Sci. 722: 19-51 (2018) - [c108]Mario Bravetti, Gianluigi Zavattaro:
Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. COORDINATION 2018: 21-50 - [c107]Frank S. de Boer, Elena Giachino, Stijn de Gouw, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve, Ka I Pun, Gianluigi Zavattaro:
Analysis of SLA Compliance in the Cloud - An Automated, Model-based Approach. VORTEX@ECOOP/ISSTA 2018: 1-15 - 2017
- [j34]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of asynchronous session subtyping. Inf. Comput. 256: 300-320 (2017) - [i3]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Decidable and Undecidable Fragments of Asynchronous Subtyping for Session Types. CoRR abs/1703.00659 (2017) - 2016
- [j33]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) - [c106]Jacopo Mauro, Gianluigi Zavattaro:
On the Expressiveness of Synchronization in Component Deployment. Theory and Practice of Formal Methods 2016: 344-359 - [c105]Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro:
Declarative Elasticity in ABS. ESOCC 2016: 118-134 - [i2]Mario Bravetti, Marco Carbone, Gianluigi Zavattaro:
Undecidability of Asynchronous Session Subtyping. CoRR abs/1611.05026 (2016) - 2015
- [j32]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic deployment of component-based applications. Sci. Comput. Program. 113: 261-284 (2015) - [c104]Gianluigi Zavattaro:
When to Move to Transfer Nets - On the Limits of Petri Nets as Models for Process Calculi. Programming Languages with Applications to Biology and Security 2015: 339-353 - [c103]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
The Evolution of Jolie - From Orchestrations to Adaptable Choreographies. Software, Services, and Systems 2015: 506-521 - [c102]Roberto Di Cosmo, Michael Lienhardt, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski:
Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Invited Paper). CONCUR 2015: 1-16 - [c101]Stijn de Gouw, Michael Lienhardt, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro:
On the Integration of Automatic Deployment into the ABS Modeling Language. ESOCC 2015: 49-64 - [c100]Roberto Di Cosmo, Antoine Eiche, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski:
Automatic Deployment of Services in the Cloud with Aeolus Blender. ICSOC 2015: 397-411 - [c99]Jacopo Mauro, Gianluigi Zavattaro:
On the Complexity of Reconfiguration in Systems with Legacy Components. MFCS (1) 2015: 382-393 - 2014
- [j31]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. Log. Methods Comput. Sci. 10(4) (2014) - [j30]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Aeolus: A component model for the cloud. Inf. Comput. 239: 100-121 (2014) - [c98]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 - [c97]Mario Bravetti, Gianluigi Zavattaro:
Choreographies and Behavioural Contracts on the Way to Dynamic Updates. MOD* 2014: 12-31 - [p4]Fabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro:
Service-Oriented Programming with Jolie. Web Services Foundations 2014: 81-107 - 2013
- [j29]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
Behavioural contracts with request-response operations. Sci. Comput. Program. 78(2): 248-267 (2013) - [c96]Ivan Lanese, Gianluigi Zavattaro:
Decidability Results for Dynamic Installation of Compensation Handlers. COORDINATION 2013: 136-150 - [c95]Michel Catan, Roberto Di Cosmo, Antoine Eiche, Tudor A. Lascu, Michael Lienhardt, Jacopo Mauro, Ralf Treinen, Stefano Zacchiroli, Gianluigi Zavattaro, Jakub Zwolakowski:
Aeolus: Mastering the Complexity of Cloud Application Deployment. ESOCC 2013: 1-3 - [c94]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
Automatic Component Deployment in the Presence of Circular Dependencies. FACS 2013: 254-272 - [c93]Roberto Di Cosmo, Jacopo Mauro, Stefano Zacchiroli, Gianluigi Zavattaro:
Component Reconfiguration in the Presence of Conflicts. ICALP (2) 2013: 187-198 - [c92]Tudor A. Lascu, Jacopo Mauro, Gianluigi Zavattaro:
A Planning Tool Supporting the Deployment of Cloud Applications. ICTAI 2013: 213-220 - [c91]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 - [c90]Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Amending Choreographies. WWV 2013: 34-48 - 2012
- [j28]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable processes. Log. Methods Comput. Sci. 8(4) (2012) - [j27]Giorgio Delzanno, Gianluigi Zavattaro:
Reachability problems in BioAmbients. Theor. Comput. Sci. 431: 56-74 (2012) - [j26]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in Rule-Based Languages for Biochemistry. Trans. Comp. Sys. Biology 14: 123-150 (2012) - [c89]Frank S. de Boer, Mohammad Mahdi Jaghoori, Cosimo Laneve, Gianluigi Zavattaro:
Decidability Problems for Actor Systems. CONCUR 2012: 562-577 - [c88]Frank S. de Boer, Mario Bravetti, Immo Grabe, Matias David Lee, Martin Steffen, Gianluigi Zavattaro:
A Petri Net Based Analysis of Deadlocks for Active Objects and Futures. FACS 2012: 110-127 - [c87]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Verification of Ad Hoc Networks with Node and Communication Failures. FMOODS/FORTE 2012: 235-250 - [c86]Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks. FSTTCS 2012: 289-300 - [c85]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Towards the Verification of Adaptable Processes. ISoLA (1) 2012: 269-283 - [c84]Roberto Di Cosmo, Stefano Zacchiroli, Gianluigi Zavattaro:
Towards a Formal Component Model for the Cloud. SEFM 2012: 156-171 - [c83]Cristian Versari, Gianluigi Zavattaro:
Complex Functional Rates in the Modeling of Nano Devices (Extended Abstract). CS2Bio 2012: 3-15 - [e13]Flavio De Paoli, Ernesto Pimentel, Gianluigi Zavattaro:
Service-Oriented and Cloud Computing - First European Conference, ESOCC 2012, Bertinoro, Italy, September 19-21, 2012. Proceedings. Lecture Notes in Computer Science 7592, Springer 2012, ISBN 978-3-642-33426-9 [contents] - [i1]Giorgio Delzanno, Arnaud Sangnier, Riccardo Traverso, Gianluigi Zavattaro:
The Cost of Parameterized Reachability in Mobile Ad Hoc Networks. CoRR abs/1202.5850 (2012) - 2011
- [c82]Einar Broch Johnsen, Ivan Lanese, Gianluigi Zavattaro:
Fault in the Future. COORDINATION 2011: 1-15 - [c81]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Adaptable Processes (Extended Abstract). FMOODS/FORTE 2011: 90-105 - [c80]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
On the Power of Cliques in the Parameterized Verification of Ad Hoc Networks. FoSSaCS 2011: 441-455 - [c79]Mila Dalla Preda, Maurizio Gabbrielli, Ivan Lanese, Jacopo Mauro, Gianluigi Zavattaro:
Graceful Interruption of Request-Response Service Interactions. ICSOC 2011: 590-600 - [c78]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Safety Properties in Ad Hoc Network Protocols. PACO 2011: 56-65 - [p3]Luís Caires, Rocco De Nicola, Rosario Pugliese, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro:
Core Calculi for Service-Oriented Computing. Results of the SENSORIA Project 2011: 153-188 - [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 - [e12]Gianluigi Zavattaro, Ulf Schreier, Cesare Pautasso:
9th IEEE European Conference on Web Services, ECOWS 2011, Lugano, Switzerland, September 14-16, 2011. IEEE 2011, ISBN 978-1-4577-1532-7 [contents] - 2010
- [j25]Luca Cardelli, Gianluigi Zavattaro:
Turing universality of the Biochemical Ground Form. Math. Struct. Comput. Sci. 20(1): 45-73 (2010) - [j24]Doug Lea, Gianluigi Zavattaro:
Guest editors' foreword. Sci. Comput. Program. 75(6): 375 (2010) - [c77]Maurice H. ter Beek, Stefania Gnesi, Alessandro Fantechi, Gianluigi Zavattaro:
Modeling Variability, Evolvability, and Adaptability in Service Computing (a vision for future research). ACoTA 2010: 14-19 - [c76]Giorgio Delzanno, Arnaud Sangnier, Gianluigi Zavattaro:
Parameterized Verification of Ad Hoc Networks. CONCUR 2010: 313-327 - [c75]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
Behavioural Contracts with Request-Response Operations. COORDINATION 2010: 16-30 - [c74]Mario Bravetti, Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
Steps on the Road to Component Evolvability. FACS 2010: 295-299 - [c73]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 - [c72]Lucia Acciai, Michele Boreale, Gianluigi Zavattaro:
On the Relationship between Spatial Logics and Behavioral Simulations. FoSSaCS 2010: 146-160
2000 – 2009
- 2009
- [j23]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
Dynamic Error Handling in Service Oriented Applications. Fundam. Informaticae 95(1): 73-102 (2009) - [j22]Mario Bravetti, Gianluigi Zavattaro:
On the expressive power of process interruption and compensation. Math. Struct. Comput. Sci. 19(3): 565-599 (2009) - [j21]Mario Bravetti, Gianluigi Zavattaro:
A theory of contracts for strong service compliance. Math. Struct. Comput. Sci. 19(3): 601-638 (2009) - [j20]Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro:
On the expressive power of recursion, replication and iteration in process calculi. Math. Struct. Comput. Sci. 19(6): 1191-1222 (2009) - [j19]Nadia Busi, Gianluigi Zavattaro:
Deciding reachability problems in Turing-complete fragments of Mobile Ambients. Math. Struct. Comput. Sci. 19(6): 1223-1263 (2009) - [j18]Gianluigi Zavattaro:
Nadia Busi's publications. Math. Struct. Comput. Sci. 19(6): 1279-1284 (2009) - [c71]Giorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro:
The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172 - [c70]Cinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro:
On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169 - [c69]Ivan Lanese, Gianluigi Zavattaro:
Programming Sagas in SOCK. SEFM 2009: 189-198 - [c68]Mario Bravetti, Gianluigi Zavattaro:
Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295 - [c67]Cosimo Laneve, Sylvain Pradalier, Gianluigi Zavattaro:
From Biochemistry to Stochastic Processes. QAPL 2009: 167-185 - [e11]Mario Bravetti, Gianluigi Zavattaro:
CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings. Lecture Notes in Computer Science 5710, Springer 2009, ISBN 978-3-642-04080-1 [contents] - [e10]Marco Bernardo, Luca Padovani, Gianluigi Zavattaro:
Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures. Lecture Notes in Computer Science 5569, Springer 2009, ISBN 978-3-642-01917-3 [contents] - 2008
- [j17]Mario Bravetti, Gianluigi Zavattaro:
A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Informaticae 89(4): 451-478 (2008) - [j16]Nadia Busi, Gianluigi Zavattaro:
A process algebraic view of shared dataspace coordination. J. Log. Algebraic Methods Program. 75(1): 52-85 (2008) - [j15]Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro:
nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008) - [c66]Luca Cardelli, Gianluigi Zavattaro:
On the Computational Power of Biochemistry. AB 2008: 65-80 - [c65]Claudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro:
On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198 - [c64]Gianluigi Zavattaro,