Browse

ftp://ftp.cs.unibo.it (92)

	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/92-03.ps.gz, 19930126 CM Run-time Support for Dynamic Load Balancing and Debugging in Paralex Ozalp Babao glu Lorenzo Alvisi Alessandro Amoroso Renzo Davoli Luigi Alberto Giachini Technical Report UBLCS-92-3 September 1992 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/92-01.ps.gz, 19930126 CM Mapping Parallel Computations on to Distributed Systems in Paralex Ozalp Babao glu Lorenzo Alvisi Alessandro Amoroso Renzo Davoli Technical Report UBLCS-92-1 January 1992 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-02.ps.gz, 19930126 CM Understanding Non-Blocking Atomic Commitment Ozalp Babao glu Sam Toueg Technical Report UBLCS-93-2 January 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-01.ps.gz, 19930126 CM Consistent Global States of Distributed Systems: Fundamental Concepts and Mechanisms Ozalp Babao glu Keith Marzullo Technical Report UBLCS-93-1 January 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/92-02.ps.gz, 19930126 CM Parallel Scientific Computing in Distributed Systems: The Paralex Approach Lorenzo Alvisi Alessandro Amoroso Ozalp Babao glu Alberto Baronio Renzo Davoli Luigi Alberto Giachini Technical Report UBLCS-92-2 February 1992 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-04.ps.gz, 19930316 A Formalization of Priority Inversion Ozalp Babao glu Keith Marzullo Fred B. Schneider Technical Report UBLCS-93-4 March 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-05.ps.gz, 19930426 Some Modifications to the Dexter Model for the Formal Description of Hypertexts Sauro Lamberti Cesare Maioli Fabio Vitali Technical Report UBLCS-93-5 April 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-08.ps.gz, 19930429 Coordinating Rule-Based Software Processes with ESP Paolo Ciancarini Technical Report UBLCS-93-8 April 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-07.ps.gz, 19930429 Distributed Programming with Logic Tuple Spaces Paolo Ciancarini Technical Report UBLCS-93-7 April 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-03.ps.gz, 19930512 Anchors and Paths in a Hypertext Publishing System Cesare Maioli Fabio Vitali Technical Report UBLCS-93-3 February 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-06.ps.gz, 19930512 Versioning issues in a Collaborative Distributed Hypertext System Cesare Maioli Stefano Sola Fabio Vitali Technical Report UBLCS-93-6 April 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-12.ps.gz, 19930521 Interaction Systems II The Practice of Optimal Reductions Andrea Asperti Cosimo Laneve Technical Report UBLCS-93-12 May 93 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-13.ps.gz, 19930607 Reliability Analysis of Tree-Based Structures and its Application to Fault-Tolerant VLSI Systems Marco Roccetti Technical Report UBLCS-93-13 June 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-10.ps.gz, 19930708 Scheduling Real Time Tasks: A Performance Study F. Panzieri L. Donatiello L. Poretti Technical Report UBLCS-93-10 May 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-15.ps.gz, 19930715 Data Algorithm: a Numerical Method to Extract Shape Information from Gray Scale Images Renzo Davoli Fabio Tamburini Technical Report UBLCS-93-15 June 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-17.ps.gz, 19930910 Split and ST bisimulation semantics Roberto Gorrieri Cosimo Laneve Technical Report UBLCS-93-17 July 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-16.ps.gz, 19930910 Towards Performance Evaluation in Process Algebras Roberto Gorrieri Marco Roccetti Technical Report UBLCS-93-16 July 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-19.ps.gz, 19930915 HERMES: an Expert System for the Prognosis of Hepatic Diseases I. Bonf , C. Maioli, F. Sarti, G.L. Milandri, P.R. Dal Monte Technical Report UBLCS-93-19 September 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-22.ps.gz, 19931026 Real Time Systems: A Tutorial F. Panzieri R. Davoli Technical Report UBLCS-93-22 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are available via
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-23.ps.gz, 19931026 A Scalable Architecture for Reliable Distributed Multimedia Applications Fabio Panzieri Marco Roccetti Technical Report UBLCS-93-23 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-20.ps.gz, 19931110 An Information Flow Security Property for CCS (Extended Abstract) Riccardo Focardi Roberto Gorrieri Technical Report UBLCS-93-20 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-21.ps.gz, 19931110 A Classification of Security Properties (Extended Abstract) Riccardo Focardi Roberto Gorrieri Technical Report UBLCS-93-21 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-25.ps.gz, 19931125 On Relating Some Models for Concurrency Pierpaolo Degano Roberto Gorrieri Sebastiano Vigna Technical Report UBLCS-93-25 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-01.ps.gz, 19940112 Further Modifications to the Dexter Hypertext Reference Model: a Proposal Wilma Penzo Stefano Sola Fabio Vitali Technical Report UBLCS-94-1 January 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-18.ps.gz, 19940214 Multilanguage Interoperability Giuseppe Attardi and Mauro Gaspari Technical Report UBLCS-93-18 24th of July 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-02.ps.gz, 19940214 Symbol-level Requirements for Agent-level Programming Mauro Gaspari Enrico Motta Technical Report UBLCS-94-2 11th of February 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-14.ps.gz, 19940214 Guard Compilation in Logic Shared Dataspace Languages Mauro Gaspari Technical Report UBLCS-93-14 18th of June 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-03.ps.gz, 19940214 Extending Prolog with Data Driven Rules Mauro Gaspari Technical Report UBLCS-94-3 11th of February 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-05.ps.gz, 19940327 A Shared-Dataspace Language and its Compilation Mauro Gaspari Technical Report UBLCS-94-5 March 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are available
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-07.ps.gz, 19940406 Comparative Semantics of LO Stefania Castellani Paolo Ciancarini Technical Report UBLCS-94-7 April 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-10.ps.gz, 19940508 MPA: a Stochastic Process Algebra Marco Bernardo Lorenzo Donatiello Roberto Gorrieri Technical Report UBLCS-94-10 May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-12.ps.gz, 19940508 Operational GSPN Semantics of MPA Marco Bernardo Lorenzo Donatiello Roberto Gorrieri Technical Report UBLCS-94-12 May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-11.ps.gz, 19940508 Describing Queueing Systems with MPA Marco Bernardo Lorenzo Donatiello Roberto Gorrieri Technical Report UBLCS-94-11 May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-04.ps.gz, 19940510 Schedulability Checking of Data Flow Tasks in Hard-Real-Time Distributed Systems Renzo Davoli Luigi-Alberto Giachini Technical Report UBLCS-94-4 March 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-09.ps.gz, 19940513 Pseudopolar array mask algorithm for spherical coordinate grid surfaces Alessandro Amoroso Giulio Casciola Technical Report UBLCS-94-9 May 9, 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-14.ps.gz, 19940524 A Comparison of Parallel Search Algorithms based on Tree Splitting Paolo Ciancarini Technical Report UBLCS-94-14 May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-13.ps.gz, 19940524 Experiments in Distributing and Coordinating Knowledge Paolo Ciancarini Technical Report UBLCS-94-13 May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-11.ps.gz, 19940531 Specification and Verification of Dynamic Properties in Distributed Computations Ozalp Babao glu Michel Raynal Technical Report UBLCS-93-11 May 1993 Revised May 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-26.ps.gz, 19940704 Axiomatising ST-Bisimulation Equivalence Nadia Busi Rob van Glabbeek Roberto Gorrieri Technical Report UBLCS-93-26 December 1993 Revised June 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-27.ps.gz, 19940708 A Theory of Processes with Durational Actions Roberto Gorrieri Marco Roccetti Enrico Stancampiano Technical Report UBLCS-93-27 December 1993 Revised July 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-17.ps.gz, 19940803 Parallel Symbolic Computing with the Shared Dataspace Coordination Model Paolo Ciancarini Mauro Gaspari Technical Report UBLCS-94-17 July 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-19.ps.gz, 19940822 On Group Communication in Large-Scale Distributed Systems Ozalp Babao glu Andr e Schiper Technical Report UBLCS-94-19 July 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-20.ps.gz, 19940825 Dynamic Allocation of Signature Files in Multiple-Disk Systems Paolo Ciaccia Technical Report UBLCS-94-20 August 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-18.ps.gz, 19940825 An algorithmic method to build good training sets for neural-network classifiers Fabio Tamburini Renzo Davoli Technical Report UBLCS-94-18 July 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-21.ps.gz, 19941103 Parallel Independent Grid Files Based on a Dynamic Declustering Method Using Multiple Error Correcting Codes Paolo Ciaccia Technical Report UBLCS-94-21 November 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-02.ps.gz, 19950124 The Clepsydra Methodology Paolo Ciaccia Paolo Ciancarini Wilma Penzo Technical Report UBLCS-95-2 January 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-04.ps.gz, 19950127 Effective Applicative Structures Andrea Asperti Agata Ciabattoni Technical Report UBLCS-95-4 January 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/92-04.ps.gz, 19950129 Parallel Computing in Networks of Workstations with Paralex Renzo Davoli Luigi Alberto Giachini Ozalp Babao glu Alessandro Amoroso Lorenzo Alvisi Technical Report UBLCS-92-4 October 1992 Revised December 1994 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-15.ps.gz, 19950129 Relacs: A Communications Infrastructure for Constructing Reliable Applications in Large-Scale Distributed Systems Ozalp Babao glu Renzo Davoli Luigi-Alberto Giachini Mary Baker Technical Report UBLCS-94-15 June 1994 Revised January 1995 Laboratory for Computer Science University of Bologna Piazza di
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-05.ps.gz, 19950209 An Open Framework for Cooperative Problem Solving Mauro Gaspari Enrico Motta, and Arthur Stutt Technical Report UBLCS-95-5 January 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-07.ps.gz, 19950214 Modelling Interaction in Agent System Angela Dalmonte Mauro Gaspari Technical Report UBLCS-95-7 February 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-08.ps.gz, 19950223 Distributed Conflicts in Communicating Systems Nadia Busi Roberto Gorrieri Technical Report UBLCS-94-8 April 1994 Revised February 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-03.ps.gz, 19950224 A Unified Framework for the Specification and Run-time Detection of Dynamic Properties in Distributed Computations Ozalp Babao glu Eddy Fromentin Michel Raynal Technical Report UBLCS-95-3 January 1995 Revised February 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-09.ps.gz, 19950309 The Bologna Optimal Higher-order Machine Andrea Asperti Cecilia Giovannetti Andrea Naletto Technical Report UBLCS-95-9 March 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-06.ps.gz, 19950315 Considering New Guidelines in Group Interface Design: a Group-Friendly Interface for the CHAOS System Daniela Bottura Cesare Maioli Silvana Mangiaracina Technical Report UBLCS-95-6 January 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-08.ps.gz, 19950315 Building Hypermedia for Learning: a Framework Based on the Design of User Interface Silvana Mangiaracina Cesare Maioli Technical Report UBLCS-95-8 February 1995 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-11.ps.gz, 19950517 The Inherent Cost of Strong-Partial View-Synchronous Communication Ozalp Babao glu Renzo Davoli Luigi-Alberto Giachini Paolo Sabattini Technical Report UBLCS-95-11 April 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-12.ps.gz, 19950720 On the complexity of beta-reduction Andrea Asperti Technical Report UBLCS-95-12 July 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available in gzipped
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-13.ps.gz, 19950821 Optimal Multi-Block Read Schedules for Partitioned Signature Files Paolo Ciaccia Technical Report UBLCS-95-13 August 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-17.ps.gz, 19951031 Dynamic Declustering Methods for Parallel Grid Files Paolo Ciaccia Arianna Veronesi Technical Report UBLCS-95-17 November 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-16.ps.gz, 19951031 Generative Communication in Process Algebra P. Ciancarini R. Gorrieri G. Zavattaro Technical Report UBLCS-95-16 October 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-01.ps.gz, 19960115 Performance Preorder and Competitive Equivalence Flavio Corradini Roberto Gorrieri Marco Roccetti Technical Report UBLCS-95-1 January 1995 Revised December 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-01.ps.gz, 19960115 An Investigation on the Optimal Implementation of Processes Cosimo Laneve Technical Report UBLCS-96-1 January 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-02.ps.gz, 19960126 Expansivity, Permutivity, and Chaos for Cellular Automata Fabio Fagnani Luciano Margara Technical Report UBLCS-96-2 January 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-10.ps.gz, 19960306 Synchronization Support and Group-Membership Services for Reliable Distributed Multimedia Applications Fabio Panzieri Marco Roccetti Technical Report UBLCS-95-10 March 1995 Revised July 95 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-05.ps.gz, 19960313 The ShaPE of ShaDe: a coordination system S. Castellani P. Ciancarini D. Rossi Technical Report UBLCS-96-5 March 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-14.ps.gz, 19960314 Integrating Performance and Functional Analysis of Concurrent Systems with EMPA Marco Bernardo Lorenzo Donatiello Roberto Gorrieri Technical Report UBLCS-95-14 September 1995 Revised March 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-15.ps.gz, 19960319 On Programming with View Synchrony Ozalp Babao glu Alberto Bartoli Gianluca Dini Technical Report UBLCS-95-15 September 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-06.ps.gz, 19960320 Engineering formal requirements: an analysis and testing method for Z documents Paolo Ciancarini Stelvio Cimato Cecilia Mascolo Technical Report UBLCS-96-6 March 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-07.ps.gz, 19960327 Using Bayesian Belief Networks for the Automated Assessment of Students' Knowledge of Geometry Problem Solving Procedures Marco Roccetti Paola Salomoni Technical Report UBLCS-96-7 March 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-08.ps.gz, 19960422 Virtual Interactions An investigation of the Dynamics of Sharing Graphs Andrea Asperti Cosimo Laneve Technical Report UBLCS-96-8 April 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-09.ps.gz, 19960426 Towards an Algebra of Actors Mauro Gaspari Technical Report UBLCS-96-9 April 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available in gzipped
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-04.ps.gz, 19960522 May and Must Testing in the Join-Calculus Cosimo Laneve Technical Report UBLCS-96-4 March 1996 Revised: May 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-10.ps.gz, 19960522 Mobile Petri Nets Andrea Asperti Nadia Busi Technical Report UBLCS-96-10 May 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available in gzipped
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-11.ps.gz, 19960529 Communication Support for Critical Distributed Multimedia Applications: An Experimental Study Fabio Panzieri Marco Roccetti Technical Report UBLCS-96-11 May 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-12.ps.gz, 19960717 A Logic Coordination Language based on the Chemical Metaphor Paolo Ciancarini and Daniela Fogli and Mauro Gaspari Technical Report UBLCS-96-12 July 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-14.ps.gz, 19960903 The Compositional Security Checker: A Tool for the Verification of Information Flow Security Properties Riccardo Focardi Roberto Gorrieri Technical Report UBLCS-96-14 August 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/95-18.ps.gz, 19960910 Group Membership and View Synchrony in Partitionable Asynchronous Distributed Systems: Specifications Ozalp Babao glu Renzo Davoli Alberto Montresor Technical Report UBLCS-95-18 November 1995 Revised September 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/93-24.ps.gz, 19961014 Wide-Area Distribution Issues In Hypertext Systems Cesare Maioli, Stefano Sola, Fabio Vitali Technical Report UBLCS-93-24 October 1993 Laboratory for Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Laboratory for Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/94-16.ps.gz, 19961014 Replicated File Management in Large-Scale Distributed Systems Ozalp Babao glu Alberto Bartoli Gianluca Dini Technical Report UBLCS-94-16 June 1994 Revised January 1995 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-15.ps.gz, 19961016 Jada: a coordination toolkit for Java P. Ciancarini D. Rossi Technical Report UBLCS-96-15 October 1996 Department of Computer Science University of Bologna Piazza di Porta S. Donato, 5 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-03.ps.gz, 19961119 Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems Ozalp Babao glu Alberto Bartoli Gianluca Dini Technical Report UBLCS-96-3 February 1996 Revised November 1996 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy)
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-13.ps.gz, 19961213 Towards Parallelization of Concurrent Systems Flavio Corradini Roberto Gorrieri Davide Marchignoli Technical Report UBLCS-96-13 August 1996 Revised December 1996 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-17.ps.gz, 19970107 A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time Marco Bernardo Roberto Gorrieri Technical Report UBLCS-96-17 December 1996 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-01.ps.gz, 19970202 Partitionable Group Membership: Specification and Algorithms Ozalp Babao glu Renzo Davoli Alberto Montresor Technical Report UBLCS-97-1 January 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/96-16.ps.gz, 19970203 Fault Tolerance through View Synchrony in Partitionable Asynchronous Distributed Systems Alberto Montresor Technical Report UBLCS-96-16 December 1996 Revised February 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-05.ps.gz, 19970522 On the Turing Equivalence of Linda Coordination Primitives Nadia Busi Roberto Gorrieri Gianluigi Zavattaro Technical Report UBLCS-97-5 May 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-04.ps.gz, 19970602 An Algebra of Actors Mauro Gaspari Gianluigi Zavattaro Technical Report UBLCS-97-4 May 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical Reports are available in gzipped
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-06.ps.gz, 19970602 A Process Algebraic View of Linda Coordination Primitives Nadia Busi Roberto Gorrieri Gianluigi Zavattaro Technical Report UBLCS-97-6 May 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-07.ps.gz, 19970909 Validating a Software Architecture with respect to an Architectural Style P. Ciancarini and W. Penzo Technical Report UBLCS-97-7 July 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-09.ps.gz, 19971104 Generalized Semi-Markovian Process Algebra Mario Bravetti Marco Bernardo Roberto Gorrieri Technical Report UBLCS-97-9 October 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of Computer Science Research Technical
	ftp://ftp.cs.unibo.it/pub/TR/UBLCS/97-08.ps.gz, 19980129 System Support for Partition-Aware Network Applications Ozalp Babao ffglu Renzo Davoli Alberto Montresor Roberto Segala Technical Report UBLCS-97-08 October 1997 Department of Computer Science University of Bologna Mura Anteo Zamboni 7 40127 Bologna (Italy) The University of Bologna Department of