``Contract Compliance and Choreography Conformance in the Presence of Message Queues''
Full version, May 2008
Technical Report UBLCS-2007-18, University of Bologna (Italy), Jun 2007
``Towards a Unifying Theory for Choreography Conformance and Contract Compliance''
Full version, Feb 2007
``A ground-complete axiomatization of finite state processes in process algebra''
Technical Report CS Report 05-18, Technische Universiteit Eindhoven, Department of Mathematics and Computer Science, 2005
``Supporting e-commerce systems formalization with choreography languages''
Technical Report UBLCS-2004-17, University of Bologna (Italy), Nov 2004
``An Asynchronous Calculus for Generative-reactive Probabilistic Systems''
Technical Report UBLCS-2000-03, University of Bologna (Italy), May 2000 (revised March 2001)
Technical Report UBLCS-2000-01, University of Bologna (Italy), January 2000 (revised January 2001)
``A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors''
Technical Report UBLCS-99-18, University of Bologna (Italy), July 1999
Technical Report UBLCS-99-1, University of Bologna (Italy), February 1999
``Formal Specification of Performance Measures for Process Algebra Models of Concurrent Systems''
Technical Report UBLCS-98-08, University of Bologna (Italy), June 1998 (revised April 2001)
``GSMPA: A Core Calculus with Generally Distributed Durations''
Technical Report UBLCS-98-06, University of Bologna (Italy), June 1998
``Generalized Semi-Markovian Process Algebra''
Technical Report UBLCS-97-09, University of Bologna (Italy), October 1997