May and Must Testing in the Join-Calculus
Cosimo Laneve · 1996
S. All local authors can be reached via e-mail at the address [email protected]. Questions and comments should be addressed to [email protected]. Recent Titles from the UBLCS Technical Report Series 94-19 On Group Communication in Large-Scale Distributed Systems, O. Babao glu, A. Schiper, July 1994. 94-20 Dynamic Allocation of Signature Files in Multiple-Disk Systems, P. Ciaccia, August 1994. 94-21 Parallel Independent Grid Files Based on a Dynamic Declustering Method Using Multiple Error Correcting Codes, P. Ciaccia, November 1994. 95-1 Performance Preorder and Competitive Equivalence, F. Corradini, R. Gorrieri, M. Roccetti, January 1995 (Revised December 1995). 95-2 Clepsydra Methodology, P. Ciaccia, O. Ciancarini, W. Penzo, January 1995. 95-3 A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations, O. Babao glu, E. Fromentin, M. Raynal, January 1995 (Revised February 1995). 95-4 Effective Applicative Structures, A. ...