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}
}