My DBLP
Copyright Notice. The documents distributed have been provided by the contributing authors as a means to ensure timely dissemination of technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, not withstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
Conferences and Workshops (Peer-reviewed)
[21] Sessions and Separability in Security Protocols.
M. Carbone and J. Guttman.
In Proc. of the 2nd Conference on Principle of Securty and Trust (POST’13).
Rome, Italy, March 2013. [.pdf-short] [.pdf-long]
bib
 
  @inproceedings{CG13,
  author    = {Marco Carbone and
               Joshua Guttman},
  title     = {Sessions and Separability in Security Protocols},
  booktitle = {Proc. of 2nd Conference on Principle of Security and Trust (POST'13)},
  publisher = {LNCS},
  year      = {2013},
  pages     = {},
  }
	      
[20] Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming.
M. Carbone and F. Montesi.
In Proc. of the 40th Symposium on Principles of Programming Languages (POPL’13).
Rome, Italy, January 2013. [link]
bib
 
  @inproceedings{CM13,
  author    = {Marco Carbone and
               Fabrizio Montesi},
  title     = {Deadlock-freedom-by-design: Multiparty Asynchronous Global Programming},
  booktitle = {Proc. of the 40th Symposium on Principles of Programming Languages (POPL'13)},
  publisher = {ACM},
  year      = {2013},
  pages     = {},
  }
	      
[19] Refinement for Transition Systems with Responses.
M. Carbone, T. Hildebrandt, G. Perrone and A. Wasowski.
In Proc. of Workshop on Foundations of Interface Technology (FIT’12).
Tallinn, Estonia, April 2012.
bib
 
  @InProceedings{CHPW12, 
  author = {Marco Carbone and
               Thomas T. Hildebrandt and
               Gian Perrone and
               Andrzej Wasowski}, 
  title = {Programming Web Services with Correlation Sets},
booktitle = {FIT},
  year      = {2012},
  pages     = {48-55}
	      
[18] Merging Multiparty Protocols in Multiparty Choreographies
M. Carbone and F. Montesi
In Proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’12).
Tallinn, Estonia, April 2012.
bib
 
		@inproceedings{CM12,
		author    = {Marco Carbone and Fabrizio Montesi},
		title     = {Merging Multiparty Protocols in Multiparty Choreographies},
		booktitle = {PLACES},
		year      = {2012},
		pages     = {21-27}
		}
	      
[17] Programming Services with Correlation Sets.
F. Montesi and M. Carbone.
In Proc. of Web Services and Formal Methods (ICSOC’11).
Paphis, Cyprus, December 2011. [.pdf]
bib
 
  @InProceedings{MC11, 
  author = {Fabrizio Montesi and Marco Carbone}, 
  title = {Programming Web Services with Correlation Sets},
  booktitle = {{Proc. of 9th International Conference on Service Oriented Computing (ICSOC 2011)}}, 
  year = {2011},
  url = {http://www.itu.dk/people/maca/papers/MC11.pdf}}
	      
[16] Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways.
D. Christiansen, M. Carbone and T. Hildebrandt.
In Proc. of Web Services and Formal Methods (WS-FM’10).
Hoboken, New Jersey, USA, September 2010. [.pdf]
bib
 
  @InProceedings{CD10, 
  author = {David Christiansen and Marco Carbone and Thomas Hildebrandt}, 
  title = {Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways}, 
  booktitle = {{Proc. of Web Services and Formal Methods (WS-FM'10)}}, 
  year = {2010},
  url = {http://www.itu.dk/people/maca/papers/CD10.pdf}}
	    
[15] A Graphical Approach to Progress for Structured Communication in Web Services.
M. Carbone and S. Debois.
In Proc. of Interaction and Concurrency Experience (ICE’10).
Amsterdam, Holland, June 2010. [.pdf]
bib
 
  @InProceedings{CD10, 
  author = {Marco Carbone and S\o ren Debois}, 
  title = {A Graphical Approach to Progress for Structured Communication in Web Services}, 
  booktitle = {{Proc. of Interaction and Concurrency Experience (ICE'10)}}, 
  year = {2010},
  url = {http://www.itu.dk/people/maca/papers/CD10.pdf}}
	      
[14] Towards a Modal Logic for the Global Calculus.
M. Carbone, T. Hildebrandt and H. Lopez.
In Proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’10).
Paphos, Cyprus, April 2010. [Post-proceeding submission .pdf]
bib
 
  @InProceedings{CHL10, 
  author = {Marco Carbone and Thomas Hildebrandt and Hugo A. Lopez}, 
  title = {Towards a Modal Logic for the Global Calculus}, 
  booktitle = {{Proc. of Programming Languages Approaches to 
                Concurrency and Communication-Centric Software (PLACES'10)}}, 
  year = {2010},
  url={http://www.itu.dk/people/maca/papers/CGHL10.pdf}}
	      
[13] Choreographies with Secure Boxes and Compromised Principals.
M. Carbone and J. Guttman.
In Proc. of Interaction and Concurrency Experience (ICE’09).
Bologna, Italy, August 2009. [link]
bib
 
  @InProceedings{CG09b, 
  author = {Marco Carbone and Joshua Guttman}, 
  title = {Choreographies with Secure Boxes and Compromised Principals}, 
  booktitle = {{Proc. of Interaction and Concurrency Experience (ICE'09)}}, 
  publisher = {EPTCS},
  volume = {12},
  pages = {1--15},
  year = {2009},
  url = {http://arxiv.org/abs/0911.5444}}
	      
[12] Execution Models for Choreographies and Cryptoprotocols.
M. Carbone and J. Guttman.
In Proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’09).
York, Untied Kingdom, March 2009. [link]
bib
 
  @InProceedings{CG09a, 
  author = {Marco Carbone and Joshua Guttman}, 
  title = {Execution Models for Choreographies and Cryptoprotocols}, 
  booktitle = {{Proceedings of Programming Languages Approaches to
  Concurrency and Communication-Centric Software (PLACES'09)}}, 
  publisher = {EPTCS},
  volume = {17},
  pages = {31--41},
  year = {2009},
  url = {http://arxiv.org/abs/1002.0935}}
	      
[11] Structured Interactional Exceptions for Session Types.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of the 19th International Conference on Concurrency Theory (CONCUR'08).
Toronto, Canada, August 2008. [link]
bib
 
  @InProceedings{CHY08, 
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida}, 
  title = {Structured Interactional Exceptions for Session Types}, 
  booktitle = {{19th International Conference on Concurrency Theory (Concur'08)}}, 
  year = {2008},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {402--417},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/exception/exception.pdf}
  }
	      
[10] Session-based Choreography with Exceptions.
M. Carbone.
In Proc. of Programming Languages Approaches to Concurrency and Communication-Centric Software (PLACES’08).
Oslo, Norway, June 2008. [.pdf]
bib
 
  @InProceedings{C08, 
  author = {Marco Carbone}, 
  title = {Session-based Choreography with Exceptions},
  booktitle = {{Proceedings of Programming Languages Approaches to
  Concurrency and Communication-Centric Software (PLACES'08)}}, 
  publisher = {ENTCS},
  volume = {241},
  pages = {35--55},
  year = {2008}
 }
	      
[9] Multiparty Asynchronous Session Types.
K. Honda, N. Yoshida and M. Carbone.
In Proc. of the 35th Symposium on Principles of Programming Languages (POPL’08).
San Francisco, USA, January 2008. [link]
bib
 
  @inproceedings{HYC08,
  author    = {Kohei Honda and
               Nobuko Yoshida and
               Marco Carbone},
  title     = {Multiparty asynchronous session types},
  booktitle = {35th Symposium on Principles of Programming Languages (POPL'08)},
  publisher = {ACM},
  year      = {2008},
  pages     = {273-284},
  url        = {http://www.doc.ic.ac.uk/~yoshida/multiparty/multiparty.pdf},
  }
	      
[8] Structured Communication-Centred Programming for Web Services.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of the 16th European Symposium on Programming (ESOP’07)
Braga, Portugal, March 2007. [link]
bib
 
  @inproceedings{CHY07,
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {{Structured Communication-Centred Programming for Web Services}},
  booktitle = {16th European Symposium on Programming (ESOP'07)},
  year      = {2007},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {2--17},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/cdlpaper/esop2007.pdf}
  }
	      
[7] Theoretical Aspects of Communication-Centred Programming.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of LIX Colloquium on Emerging Trends in Concurrency Theory (LIX'06).
Paris, France, November 2006. [.pdf]
bib
 
  @InProceedings{CHY06b, 
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida}, 
  title = {Theoretical Aspects of Communication-Centred Programming},
  booktitle = {{LIX Colloquium on Emerging Trends in Concurrency Theory (LIX'06)}}, 
  publisher = {ENTCS},
  volume = {209},
  pages = {125--133},
  year = {2008}
 }
	      
[6] A Calculus of Global Interaction based on Session Types.
M. Carbone, K. Honda and N. Yoshida.
In Proc. of the Second International Workshop on Developments in Computational Models (DCM'06).
Venice, Italy, July 2006. [.pdf]
bib
 
  @InProceedings{CHY06, 
  author = {Marco Carbone and Kohei Honda and Nobuko Yoshida}, 
  title = {A Calculus of Global Interaction based on Session Types},
  booktitle = {{2nd Workshop on Developments in Computational Models (DCM2006)}}, 
  publisher = {ENTCS},
  volume = {171},
  pages = {127--151},
  year = {2007}
 }
	      
[5] A Calculus for Trust Management.
M. Carbone, M. Nielsen and V. Sassone.
In Proc. of the 24th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'04).
Chennai, India, December 2004. [.pdf]
bib
 
  @inproceedings{CNS04,
  author    = {Marco Carbone and
               Mogens Nielsen and
               Vladimiro Sassone},
  title     = {{A Calculus for Trust Management}},
  booktitle = {24th Conference on Foundations of Software Technology 
               and Theoretical Computer Science (FSTTCS'04)},
  year      = {2004},
  publisher = {Springer}, 
  series = {LNCS}, 
  pages = {161--173},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/fsttcs2004.pdf}
  }
	      
[4] A Formal Model for Trust Life-cycle Management.
W. Wagealla, M. Carbone, C. English, S. Terzis, H. Lowe and P. Nixon.
In Proc. of Workshop on Formal Aspects in Security and Trust ().
Pisa, Italy, September 2003 [entire proceedings
.pdf]
bib
 
  @InProceedings{WCETLN03, 
  author = {W. Wagealla and M. Carbone and C. English and S. Terzis and H. Lowe 
           and P. Nixon},
  title = {A Formal Model for Trust Life-cycle Management},
  booktitle = {{Proc. of Workshop on Formal Aspects in Security and Trust (FAST'03)}}, 
  publisher = {},
  volume = {},
  year = {2003}
 }
	      
[3] A Formal Model for Trust in Dynamic Networks.
M. Carbone, M. Nielsen and V. Sassone.
In Proc. of IEEE International Conference on Software Engineering and Formal Methods (SEFM'03).
Brisbane, Australia, September 2003. [.pdf] [slides.ppt]
bib
 
  @inproceedings{CNS03,
  author    = {Marco Carbone and
               Mogens Nielsen and
               Vladimiro Sassone},
  title     = {{A Formal Model for Trust in Dynamic Networks}},
  booktitle = {IEEE International Conference on Software Engineering and Formal
               Methods SEFM'03},
  year      = {2003},
  publisher = {IEEE Computer Society}, 
  pages = {54--},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/SEFM03.pdf}
  }
	      
[2] On the Expressive Power of Polyadic Synchronisation in Pi-Calculus.
M. Carbone and S. Maffeis.
In Proc. of 9th International Workshop on Expressiveness in Concurrency (EXPRESS’02).
Brno, Czech Republic, August 2002. [.pdf] [slides]
bib
 
@InProceedings{CM02, 
  author = {Marco Carbone and Sergio Maffeis},
  title = {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus},
  booktitle = {{Proc. of 9th International Workshop on Expressiveness in Concurrency 
              (EXPRESS’02)}}, 
  publisher = {ENTCS},
  volume = {68(2)},
  year = {2002}
 }
	      
[1] Process Algebra-Guided Design of Java Mobile Network Applications.
M. Carbone and M. Coccia and G. Ferrari and S. Maffeis.
In Process Algebra-Guided Design of Java Mobile Network Applications (FTJP’01).
Budapest, Hungary, June 2001. [.pdf] [Position Paper .pdf]
bib
 
@InProceedings{CM02, 
  author = {M. Carbone and M. Coccia and G. Ferrari and S. Maffeis},
  title = {Process Algebra-Guided Design of Java Mobile Network Applications},
  booktitle = {{In the Workshop on Formal Techniques for Java Programs (FTJP'01)}}, 
  publisher = {},
  volume = {},
  year = {2001}
 }
	      

Journals
Structured Communication-Centered Programming for Web Services.
M. Carbone, K. Honda and N. Yoshida.
In ACM Transactions of Programming Languages and Systems, Vol. 34, N. 2:8. June 2012.
bib
 
  @Article{CHY12, 
  author    = {Marco Carbone and
               Kohei Honda and
               Nobuko Yoshida},
  title     = {Structured Communication-Centered Programming for Web Services},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {34},
  number    = {2},
  year      = {2012},
  pages     = {8}
}
	      
Web Services, Mobile Processes and Types.
K. Honda, N. Yoshida and M. Carbone.
In the Bulletin of the European Association for Theoretical Computer Science, N. 91:165-185, February 2007. [.pdf (whole bulletin)]
bib
 
  @Article{HYC07journal, 
  author = {Kohei Honda, Nobuko Yoshida and Marco Carbone}, 
  title = {Web Services, Mobile Processes and Types}, 
  booktitle = {{Bulletin of the European Association for Theoretical Computer Science}}, 
  year = {2007},
  publisher = {EATCS}, 
  number = {91}
  pages = {165--185},
  url = {https://www.eatcs.org/bulletin/beatcs91.pdf}
  }
	      
Using Trust for Secure Collaboration in Uncertain Environment.
M. Carbone et al.
In IEEE Pervasive Computing Journal, 2003.
On the Expressive Power of Polyadic Synchronisation in Pi-Calculus.
M. Carbone and S. Maffeis.
In Nordic Journal of Computing, Vol. 10, N. 2:70-98, September 2003. [.pdf]
bib
 
  @Article{CM03journal, 
  author = {Marco Carbone and Sergio Maffeis}, 
  title = {On the Expressive Power of Polyadic Synchronisation in Pi-Calculus}, 
  journal = {{Nordic Journal of Computing}}, 
  year = {2003},
  volume = {10},
  number = {2}
  pages = {70--98},
  url = {http://www.dcs.qmul.ac.uk/~carbonem/paperi/njc03.pdf}
  }
	      

Newsletters and Technical Reports
Trust in Global Computing.
M. Carbone, M. Nielsen and V. Sassone.
In Association for Logic Programming (ALP) Newsletter.
November 2004 [.pdf]
bib
 
  @InProceedings{CHY06, 
  author = {Marco Carbone and Mogens Nielsen and Vladimiro Sassone}, 
  title = {Trust in Global Computing},
  booktitle = {{Association for Logic Programming (ALP) Newsletter}}, 
  publisher = {ALP},
  volume = {17(4)},
  year = {2004}
 }
	      
A Formal Model for Trust in Dynamic Networks.
M. Carbone, M. Nielsen and V. Sassone.
BRICS Techinical Report RS-03-04 [.pdf]
bib
 
  @TechRep{CNS03tech, 
  author = {M. Carbone and M. Nielsen and V. Sassone},
  title = {A Formal Model for Trust in Dynamic Networks},
  booktitle = {{BRICS Technical Report RS-03-04}},
  year = {2003}
 }
	      
Other coming soon...see here