Integrating Performance and Functional Analysis of Concurrent Systems with EMPA
Marco Bernardo, Lorenzo Donatiello, Roberto Gorrieri · 1995
S. All local authors can be reached via e-mail at the address [email protected]. Written requests and comments should be addressed to [email protected]. UBLCS Technical Report Series 94-5 A Shared Dataspace Language and its Compilation, M. Gaspari, March 1994. 94-6 Exploring the Coordination Space with LO, S. Castellani, P. Ciancarini, April 1994. 94-7 Comparative Semantics of LO, S. Castellani, P. Ciancarini, April 1994. 94-8 Distributed Conflicts in Communicating Systems, N. Busi, R. Gorrieri, April 1994 (Revised February 1995). 94-9 Pseudopolar Array Mask Algorithm for Spherical Coordinate Grid Surfaces, A. Amoroso, G. Casciola, May 1994. 94-10 MPA: a Stochastic Process Algebra, M. Bernardo, L. Donatiello, R. Gorrieri, May 1994. 94-11 Describing Queueing Systems with MPA, M. Bernardo, L. Donatiello, R. Gorrieri, May 1994. 94-12 Operational GSPN Semantics of MPA, M. Bernardo, L. Donatiello, R. Gorrieri, May 1994. 94-13 Experiments in Distributing and Coordinating Knowledge, ...