|
| UBLCS-96-1 |
An Investigation on the Optimal Implementation of
Processes
Laneve, C. |
|
| UBLCS-96-2 |
Expansivity, Permutivity, and Chaos for Cellular Automata
Fagnani, F.; Margara, L. |
|
| UBLCS-96-3 |
Enriched View Synchrony: A Paradigm for Programming Dependable
Applications in Partitionable Asynchronous Distributed
Systems
Babaoglu, O.; Bartoli, A.; Dini, G. |
|
| UBLCS-96-4 |
May and Must Testing in the Join-Calculus
Laneve, C. |
|
| UBLCS-96-5 |
The Shape of Shade: a Coordination System
Castellani, S.; Ciancarini, P.; Rossi, D. |
|
| UBLCS-96-6 |
Engineering Formal Requirements: an Analysis and Testing Method
for Z Documents
Ciancarini, P.; Cimato, S.; Mascolo, C. |
|
| UBLCS-96-7 |
Using Bayesian Belief Networks for the Automated Assessment of
Students' Knowledge of Geometry Problem Solving Procedures
Roccetti, M.; Salomoni, P. |
|
| UBLCS-96-8 |
Virtual Interactions: An Investigation of the Dynamics of
Sharing Graphs
Asperti, A.; Laneve, C. |
|
| UBLCS-96-9 |
Towards an Algebra of Actors
Gaspari, M. |
|
| UBLCS-96-10 |
Mobile Petri Nets
Asperti, A.; Busi, N. |
|
| UBLCS-96-11 |
Communication Support for Critical Distributed Multimedia
Applications: an Experimental Study
Panzieri, F.; Roccetti, M. |
|
| UBLCS-96-12 |
A Logic Coordination Language Based on the Chemical
Metaphor
Ciancarini, P.; Fogli, D.; Gaspari, M. |
|
| UBLCS-96-13 |
Towards Parallelization of Concurrent Systems
Corradini, F.; Gorrieri, R.; Marchignoli, D. |
|
| UBLCS-96-14 |
The Compositional Security Checker: A Tool for the Verification
of Information Flow Security Properties
Focardi, R.; Gorrieri, R. |
|
| UBLCS-96-15 |
Jada: a Coordination Toolkit for Java
Ciancarini, P.; Rossi, D. |
|
| UBLCS-96-16 |
Fault Tolerance through View Synchrony in Partitionable
Asynchronous Distributed Systems
Montresor, A. |
|
| UBLCS-96-17 |
A Tutorial on EMPA: A Theory of Concurrent Processes with
Nondeterminism, Priorities, Probabilities and Time
Bernardo, M.; Gorrieri, R. |
