29th International Conference on Concurrency Theory (CONCUR 2018) MY Vardi, Y Deng, R van Glabbeek, A Polyakov, MH Tsai, BY Wang, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2018 | | 2018 |
4 Working groups 4.1 Group Discussion: Integrating Static and Dynamic Typing L Bocchi Theory and Applications of Behavioural Types, 178, 0 | | |
4.3 Breakout Group: Type-Informed Recovery Strategies F Montesi, L Bocchi, M Carbone, O Dardha, M Dezani, P Haller, ... Behavioural Types: Bridging Theory and Practice, 70, 0 | | |
A calculus for long-running transactions L Bocchi, C Laneve, G Zavattaro Formal Methods for Open Object-Based Distributed Systems: 6th IFIP WG 6.1 …, 2003 | 213 | 2003 |
A colored petri net for regional synchronization in situated multiagent systems D Weyns, T Holvoet First International Workshop on Petri Nets and Coordination, PNC 4, 2004 | 14 | 2004 |
A formal approach to modelling time properties of service oriented systems L Bocchi, JL Fiadeiro, S Gilmore, J Abreu, M Solanki, V Vankayala Handbook of Research on Non-Functional Properties for Service-Oriented …, 2009 | 9 | 2009 |
A formal approach to service component architecture JL Fiadeiro, A Lopes, L Bocchi Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006 | 133 | 2006 |
A formal approach to service-oriented modelling JL Fiadeiro, A Lopes, L Bocchi, J Abreu 9th International School on Formal Methods for the Design of Computer …, 2009 | 2 | 2009 |
A Java inspired semantics for transactions in SOC L Bocchi, E Tuosto International Symposium on Trustworthy Global Computing, 120-134, 2010 | 10 | 2010 |
A model of actors and grey failures L Bocchi, J Lange, S Thompson, AL Voinea Logical Methods in Computer Science 19, 2023 | 7 | 2023 |
A multiparty multi-session logic L Bocchi, R Demangeon, N Yoshida Trustworthy Global Computing: 7th International Symposium, TGC 2012 …, 2013 | 18 | 2013 |
A Multiparty Multi-session Logic Æ L Bocchi, R Demangeon, N Yoshida Trustworthy Global Computing, 97, 0 | | |
A perspective on multiagent coordination models L Bocchi, P Ciancarini Communication in Multiagent Systems: Agent Communication Languages and …, 2003 | 18 | 2003 |
A process calculus of atomic commit L Bocchi, L Wischik Electronic Notes in Theoretical Computer Science 105, 119-132, 2004 | 9 | 2004 |
A theory of composing protocols L Bocchi, D Orchard, AL Voinea arXiv preprint arXiv:2203.02461, 2022 | 2 | 2022 |
A theory of design-by-contract for distributed multiparty interactions L Bocchi, K Honda, E Tuosto, N Yoshida CONCUR 2010-Concurrency Theory: 21th International Conference, CONCUR 2010 …, 2010 | 193 | 2010 |
A Theory of Design-by-Contract for Distributed Multiparty Interactions (full version) L Bocchi, K Honda, E Tuosto, N Yoshida | | |
A theory of protocol composition L Bocchi, DA Orchard, L Voinea NA, 2022 | | 2022 |
A use-case driven approach to formal service-oriented modelling L Bocchi, JL Fiadeiro, A Lopes International Symposium On Leveraging Applications of Formal Methods …, 2008 | 18 | 2008 |
Algebraic semantics of service component modules JL Fiadeiro, A Lopes, L Bocchi Recent Trends in Algebraic Development Techniques: 18th International …, 2007 | 40 | 2007 |