Follow
Marco Carbone
Title
Cited by
Cited by
Year
Multiparty asynchronous session types
K Honda, N Yoshida, M Carbone
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008
8822008
Using trust for secure collaboration in uncertain environments
V Cahill, E Gray, JM Seigneur, CD Jensen, Y Chen, B Shand, N Dimmock, ...
IEEE pervasive computing 2 (3), 52-61, 2003
4932003
Structured communication-centred programming for web services
M Carbone, K Honda, N Yoshida
Programming Languages and Systems, 2-17, 2007
3822007
A formal model for trust in dynamic networks
M Carbone, M Nielsen, V Sassone
First International Conference onSoftware Engineering and Formal Methods …, 2003
3202003
Multiparty asynchronous session types
K Honda, N Yoshida, M Carbone
Journal of the ACM (JACM) 63 (1), 1-67, 2016
2432016
Foundations of session types and behavioural contracts
H Hüttel, I Lanese, VT Vasconcelos, L Caires, M Carbone, PM Deniélou, ...
ACM Computing Surveys (CSUR) 49 (1), 1-36, 2016
2022016
Deadlock-freedom-by-design: multiparty asynchronous global programming
M Carbone, F Montesi
ACM SIGPLAN Notices 48 (1), 263-274, 2013
1752013
On the expressive power of polyadic synchronisation in π-calculus
M Carbone, S Maffeis
Electronic Notes in Theoretical Computer Science 68 (2), 15-32, 2002
1312002
Structured communication-centered programming for web services
M Carbone, K Honda, N Yoshida
ACM Transactions on Programming Languages and Systems (TOPLAS) 34 (2), 1-78, 2012
1122012
Structured interactional exceptions in session types
M Carbone, K Honda, N Yoshida
International Conference on Concurrency Theory, 402-417, 2008
1092008
A theoretical basis of communication-centred concurrent programming
M Carbone, K Honda, N Yoshida, R Milner, G Brown, S Ross-Talbot
Web Services Choreography Working Group mailing list, to appear as a WS-CDL …, 2006
109*2006
Multiparty session types as coherence proofs
M Carbone, F Montesi, C Schürmann, N Yoshida
Acta Informatica 54 (3), 243-269, 2017
702017
A calculus of global interaction based on session types
M Carbone, K Honda, N Yoshida
Electronic Notes in Theoretical Computer Science 171 (3), 127-151, 2007
662007
Coherence generalises duality: A logical explanation of multiparty session types
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler
27th International Conference on Concurrency Theory (CONCUR 2016), 2016
602016
Choreographies, logically
M Carbone, F Montesi, C Schürmann
Distributed Computing 31 (1), 51-67, 2018
512018
Undecidability of asynchronous session subtyping
M Bravetti, M Carbone, G Zavattaro
Information and Computation 256, 300-320, 2017
422017
Programming services with correlation sets
F Montesi, M Carbone
International Conference on Service-Oriented Computing, 125-141, 2011
412011
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
392010
Formal semantics and implementation of BPMN 2.0 inclusive gateways
DR Christiansen, M Carbone, T Hildebrandt
International Workshop on Web Services and Formal Methods, 146-160, 2010
392010
Towards a formal framework for computational trust
V Sassone, K Krukow, M Nielsen
International Symposium on Formal Methods for Components and Objects, 175-184, 2006
392006
The system can't perform the operation now. Try again later.
Articles 1–20