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 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 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 |
Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida International Conference on Formal Methods for Open Object-Based Distributed …, 2013 | 82 | 2013 |
Timed runtime monitoring for multiparty conversations R Neykova, L Bocchi, N Yoshida Formal Aspects of Computing 29, 877-910, 2017 | 79 | 2017 |
Timed Multiparty Session Types L Bocchi, W Yang, N Yoshida CONCUR 8704, 419--434, 2014 | 74 | 2014 |
Asynchronous distributed monitoring for multiparty session enforcement TC Chen, L Bocchi, PM Deniélou, K Honda, N Yoshida Trustworthy Global Computing: 6th International Symposium, TGC 2011, Aachen …, 2012 | 67 | 2012 |
Monitoring networks through multiparty session types L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida Theoretical Computer Science 669, 33-58, 2017 | 64 | 2017 |
Meeting deadlines together L Bocchi, N Yoshida, J Lange Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015 | 58 | 2015 |
Specifying and composing interaction protocols for service-oriented system modelling J Abreu, L Bocchi, JL Fiadeiro, A Lopes International Conference on Formal Techniques for Networked and Distributed …, 2007 | 43 | 2007 |
Algebraic semantics of service component modules JL Fiadeiro, A Lopes, L Bocchi Recent Trends in Algebraic Development Techniques: 18th International …, 2007 | 40 | 2007 |
An abstract model of service discovery and binding JL Fiadeiro, A Lopes, L Bocchi Formal Aspects of Computing 23, 433-463, 2011 | 39 | 2011 |
Service-oriented modelling of automotive systems L Bocchi, JL Fiadeiro, A Lopes 2008 32nd annual ieee international computer software and applications …, 2008 | 39 | 2008 |
On the Impact of Formal Methods in the SOA L Bocchi, P Ciancarini Electronic Notes in Theoretical Computer Science 160, 113-126, 2006 | 34 | 2006 |
Resolving non-determinism in choreographies L Bocchi, H Melgratti, E Tuosto European Symposium on Programming Languages and Systems, 493-512, 2014 | 29* | 2014 |
The Sensoria Reference Modelling Language J Fiadeiro, A Lopes, L Bocchi, J Abreu Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011 | 28 | 2011 |
From BPEL to SRML: a formal transformational approach L Bocchi, Y Hong, A Lopes, JL Fiadeiro Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 28 | 2008 |
Compositional nested long running transactions L Bocchi International Conference on Fundamental Approaches to Software Engineering …, 2004 | 27 | 2004 |
Sensoria: Engineering for service-oriented overlay computers M Wirsing, L Bocchi, A Clark, JL Fiadeiro, S Gilmore, M Hölzl, N Koch, ... | 25 | 2009 |
Asynchronous timed session types L Bocchi, M Murgia, VT Vasconcelos, N Yoshida Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019 | 24 | 2019 |