MPA: a Stochastic Process Algebra
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri · 1994
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 [email protected]. UBLCS Technical Report Series 93-6 Versioning Issues in a Collaborative Distributed Hypertext System, C. Maioli, S. Sola, F. Vitali, April 1993. 93-7 Distributed Programming with Logic Tuple Spaces, P. Ciancarini, April 1993. 93-8 Coordinating Rule-Based Software Processes with ESP, P. Ciancarini, April 1993. 93-9 What is Logic Programming good for in Software Engineering?, P. Ciancarini, G. Levi, April 1993. 93-10 Scheduling Real Time Tasks: A Performance Study, F. Panzieri, L. Donatiello, L. Poretti, May 1993. 93-11 Specification and Verification of Dynamic Properties in Distributed Computations, O. Babao glu, M. Raynal, May 1993. 93-12 Interaction Systems II: The Practice of Optimal Reductions, A. Asperti, C. Laneve, May 1993. 93-13 Reliability Analysis of Tree-Based Structures and its Application to Fa...