Conferences

Structured Interactional Exceptions for Session Types.

M. Carbone, K. Honda and N. Yoshida.

In Proc. of the 19th International Conference on Concurrency Theory (CONCUR 2008)

Toronto, Canada, August 2008.  [link]

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]

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]

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. [.ps .pdf]

A Formal Model for Trust in Dynamic Networks.

M. Carbone, M. Nielsen and V. Sassone.

In Proc. of IEEE International Conference on Software Eng. and Formal Methods (SEFM '03)

Brisbane, Australia, September 2003. [.ps .pdf] [slides.ppt]

Journals

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)]

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, Summer 2003. [.ps .pdf]

Workshops, Newsletters and Technical Reports

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]

Theoretical Aspects of Communication-Centred Programming.

M. Carbone, K. Honda and N. Yoshida

In Proc. of the LIX Colloquium on Emerging Trends in Concurrency Theory (LIX 2006), ETNCS, Vol. 209, pagg. 125-133. [link]

A Calculus of Global Interaction based on Session Types.

M. Carbone, K. Honda and N. Yoshida.

In Proceedings of the Second International Workshop on Developments in Computational Models (DCM2006), Vol. 171, issue 3 of ENTCS.

Venice, Italy, July 2006. [.pdf]

Trust in Global Computing.

M. Carbone, M. Nielsen and V. Sassone.

In Association for Logic Programming (ALP) Newsletter, Vol. 17 (4), Novermber 2004. [.pdf]

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 (FAST2003).

Pisa, Italy, September 2003. [.ps .pdf]

A Formal Model for Trust in Dynamic Networks.

M. Carbone, M. Nielsen and V. Sassone.

BRICS Technical Report RS-03-4. January 2003. [.ps .pdf]

On the Expressive Power of Polyadic Synchronisation in Pi-Calculus.

M. Carbone and S. Maffeis.

In Proc. of the 9th International Workshop on Expressiveness in Concurrency (EXPRESS'02),

Volume 68.2 of ENTCS.

Brno, Czech Republic, August 2002. [.ps .pdf] [slides.pdf]

Process Algebra-Guided Design of Java Mobile Network Applications.

M. Carbone, M. Coccia, G. Ferrari and S. Maffeis.

Extended abstract, In the Workshop on Formal Techniques for Java Programs (FTJP'01).

Budapest, Hungary, June 2001. [.ps .pdf]

Also available as position paper. Pisa, 25/4/01. [.ps]

Theses

Trust and Mobility.

M. Carbone.

Ph.D. Thesis, BRICS, University of Aarhus. June 2005. [.pdf]

On Calculi for Mobility and Trust.

M. Carbone.

BRICS Progress Report. January 2003 [.ps .pdf ]

Controllo Statico di Proprieta' di Safe Ambients.

M. Carbone.

Master's Thesis. Pisa 15/06/2001 [.ps in Italian ]