|
| UBLCS-2000-1 |
Compositional Asymmetric Cooperations for Process Algebras with
Probabilities, Priorities, and Time
Bravetti, M.; Bernardo, M. |
|
| UBLCS-2000-2 |
Compact Net Semantics for Process Algebras
Bernardo, M.; Busi, N.; Ribaudo, M. |
|
| UBLCS-2000-3 |
An Asynchronous Calculus for Generative-Reactive Probabilistic
Systems
Aldini, A.; Bravetti, M. |
|
| UBLCS-2000-4 |
On Securing Real-Time Speech Transmission over the
Internet
Aldini, A.; Bragadini, P.; Gorrieri, R.; Roccetti, M. |
|
| UBLCS-2000-5 |
On the Expressiveness of Distributed Leasing in Linda-like
Coordination Languages
Busi, N.; Gorrieri, R.; Zavattaro, G. |
|
| UBLCS-2000-6 |
A Type System for JVM Threads
Bigliardi, G.; Laneve, C. |
|
| UBLCS-2000-7 |
Client-centered Load Distribution: a Mechanism for Constructing
Responsive Web Services
Ghini, V.; Panzieri, F.; Roccetti, M. |
|
| UBLCS-2000-8 |
Design and Analysis of RT-Ring: a protocol for supporting
real-time communications
Conti, M.; Donatiello, L.; Furini, M. |
|
| UBLCS-2000-9 |
Performance Evaluation of Data Locality Exploitation (Ph.D.
Thesis)
D'Alberto, P. |
|
| UBLCS-2000-10 |
System Support for Programming Object-Oriented Dependable
Applications in Partitionable Systems (Ph.D. Thesis)
Montresor, A. |
|
| UBLCS-2000-11 |
Coordination: An Enabling Technology for the Internet (Ph.D.
Thesis)
Rossi, D. |
|
| UBLCS-2000-12 |
Coordination Models and Languages: Semantics and Expressiveness
(Ph.D. Thesis)
Zavattaro, G. |
|
| UBLCS-2000-13 |
Jgroup Tutorial and Programmer's Manual
Montresor, A. |
|
| UBLCS-2000-14 |
A Declarative Language for Parallel Programming
Gaspari, M. |
|
| UBLCS-2000-15 |
An Adaptive Mechanism for Securing Real-time Speech
Transmission over the Internet.
Aldini, A.; Gorrieri, R.; Roccetti, M. |
|
| UBLCS-2000-16 |
Enhancing Jini with Group Communication
Montresor, A.; Babaoglu, O.; Davoli, D. |
|
| UBLCS-2000-17 |
Online Reconfiguration in Replicated Databases Based on Group
Communication
Bartoli, A.; Kemme, B.; Babaoglu, O. |
