Towards Performance Evaluation in Process Algebras

s are available from the same host in the directory /pub/TR/UBLCS/ABSTRACTS in plain text format. All local authors can be reached via e-mail at the address last-name@cs.unibo.it. UBLCS Technical Report Series 93-1 Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanism, by O. Babao glu and K. Marzullo, January 1993. 93-2 Understanding Non-Blocking Atomic Commitment, by O. Babao glu and S. Toueg, January 1993. 93-3 Anchors and Paths in a Hypertext Publishing System, by C. Maioli and F. Vitali, February 1993. 93-4 A Formalization of Priority Inversion, by O. Babao glu, K. Marzullo and F. Schneider, March 1993. 93-5 Some Modifications to the Dexter Model for the Formal Description of Hypertexts, by S. Lamberti, C. Maioli and F. Vitali, April 1993. 93-6 Versioning Issues in a Collaborative Distributed Hypertext System, by C. Maioli, S. Sola and F. Vitali, April 1993. 93-7 Distributed Programming with Logic Tuple Spaces, by P. Ciancarini, April 1993. 93-8..