دنبال کردن
Marco Carbone
عنوان
نقل شده توسط
نقل شده توسط
سال
Multiparty asynchronous session types‏
K Honda, N Yoshida, M Carbone‏
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2008‏
10442008
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‏
4982003
Structured communication-centred programming for web services‏
M Carbone, K Honda, N Yoshida‏
Programming Languages and Systems, 2-17, 2007‏
3942007
Multiparty asynchronous session types‏
K Honda, N Yoshida, M Carbone‏
Journal of the ACM (JACM) 63 (1), 1-67, 2016‏
3812016
A formal model for trust in dynamic networks‏
M Carbone, M Nielsen, V Sassone‏
First International Conference onSoftware Engineering and Formal Methods …, 2003‏
3362003
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‏
3032016
Deadlock-freedom-by-design: multiparty asynchronous global programming‏
M Carbone, F Montesi‏
ACM SIGPLAN Notices 48 (1), 263-274, 2013‏
2242013
On the expressive power of polyadic synchronisation in pi-calculus‏
M Carbone, S Maffeis‏
Nord. J. Comput. 10 (2), 70-98, 2003‏
1452003
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‏
1402012
Structured interactional exceptions in session types‏
M Carbone, K Honda, N Yoshida‏
CONCUR 2008-Concurrency Theory: 19th International Conference, CONCUR 2008 …, 2008‏
1232008
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‏
116*2006
Multiparty session types as coherence proofs‏
M Carbone, F Montesi, C Schürmann, N Yoshida‏
Acta Informatica 54, 243-269, 2017‏
952017
Coherence generalises duality: A logical explanation of multiparty session types‏
M Carbone, S Lindley, F Montesi, C Schürmann, P Wadler‏
Proceedings of the 27th International Conference on Concurrency Theory, 1-15, 2016‏
842016
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‏
682007
Undecidability of asynchronous session subtyping‏
M Bravetti, M Carbone, G Zavattaro‏
Information and Computation 256, 300-320, 2017‏
592017
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‏
512010
Programming services with correlation sets‏
F Montesi, M Carbone‏
Service-Oriented Computing: 9th International Conference, ICSOC 2011, Paphos …, 2011‏
482011
A graphical approach to progress for structured communication in web services‏
M Carbone, S Debois‏
arXiv preprint arXiv:1010.5566, 2010‏
482010
Choreographies, logically‏
M Carbone, F Montesi, C Schürmann‏
Distributed Computing 31, 51-67, 2018‏
412018
On the boundary between decidability and undecidability of asynchronous session subtyping‏
M Bravetti, M Carbone, G Zavattaro‏
Theoretical Computer Science 722, 19-51, 2018‏
382018
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20