关注
Laura Bocchi
Laura Bocchi
在 kent.ac.uk 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
2132003
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
1932010
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
1332006
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
822013
Timed runtime monitoring for multiparty conversations
R Neykova, L Bocchi, N Yoshida
Formal Aspects of Computing 29, 877-910, 2017
792017
Timed Multiparty Session Types
L Bocchi, W Yang, N Yoshida
CONCUR 8704, 419--434, 2014
742014
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
672012
Monitoring networks through multiparty session types
L Bocchi, TC Chen, R Demangeon, K Honda, N Yoshida
Theoretical Computer Science 669, 33-58, 2017
642017
Meeting deadlines together
L Bocchi, N Yoshida, J Lange
Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2015
582015
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
432007
Algebraic semantics of service component modules
JL Fiadeiro, A Lopes, L Bocchi
Recent Trends in Algebraic Development Techniques: 18th International …, 2007
402007
An abstract model of service discovery and binding
JL Fiadeiro, A Lopes, L Bocchi
Formal Aspects of Computing 23, 433-463, 2011
392011
Service-oriented modelling of automotive systems
L Bocchi, JL Fiadeiro, A Lopes
2008 32nd annual ieee international computer software and applications …, 2008
392008
On the Impact of Formal Methods in the SOA
L Bocchi, P Ciancarini
Electronic Notes in Theoretical Computer Science 160, 113-126, 2006
342006
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
282011
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
282008
Compositional nested long running transactions
L Bocchi
International Conference on Fundamental Approaches to Software Engineering …, 2004
272004
Sensoria: Engineering for service-oriented overlay computers
M Wirsing, L Bocchi, A Clark, JL Fiadeiro, S Gilmore, M Hölzl, N Koch, ...
252009
Asynchronous timed session types
L Bocchi, M Murgia, VT Vasconcelos, N Yoshida
Programming Languages and Systems, Luís Caires (Ed.). Springer International …, 2019
242019
系统目前无法执行此操作,请稍后再试。
文章 1–20