Technical Reports

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

``Compositional Asymmetric Cooperations for Process Algebras with Probabilities, Priorities, and Time''

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

``Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement''

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