|
| UBLCS-93-1 |
Consistent Global States of Distributed Systems: Fundamental
Concepts and Mechanisms
Babaoglu, O.; Marzullo, K. |
|
| UBLCS-93-2 |
Understanding Non-Blocking Atomic Commitment
Babaoglu, O.; Toueg, S. |
|
| UBLCS-93-3 |
Anchors and Paths in a Hypertext Publishing System
Maioli, C.; Vitali, F. |
|
| UBLCS-93-4 |
A Formalization of Priority Inversion
Babaoglu, O.; Marzullo, K.; Schneider, F. |
|
| UBLCS-93-5 |
Some Modifications to the Dexter Model for the Formal
Description of Hypertexts
Lamberti, S.; Maioli, C.; Vitali, F. |
|
| UBLCS-93-6 |
Versioning Issues in a Collaborative Distributed Hypertext
System
Maioli, C.; Sola, S.; Vitali, F. |
|
| UBLCS-93-7 |
Distributed Programming with Logic Tuple Spaces
Ciancarini, P. |
|
| UBLCS-93-8 |
Coordinating Rule-Based Software Processes with ESP
Ciancarini, P. |
|
| UBLCS-93-9 |
What is Logic Programming good for in Software
Engineering?
Ciancarini, P.; Levi, G. |
|
| UBLCS-93-10 |
Scheduling Real Time Tasks: A Performance Study
Panzieri, F.; Donatiello, L.; Poretti, L. |
|
| UBLCS-93-11 |
Specification and Verification of Dynamic Properties in
Distributed Computations
Babaoglu, O.; Raynal, M. |
|
| UBLCS-93-12 |
Interaction Systems II: The Practice of Optimal
Reductions
Asperti, A.; Laneve, C. |
|
| UBLCS-93-13 |
Reliability Analysis of Tree-Based Structures and its
Application to Fault-Tolerant VLSI Systems
Roccetti, M. |
|
| UBLCS-93-14 |
Guard Compilation in Logic Shared Dataspace Languages
Gaspari, M. |
|
| UBLCS-93-15 |
Data Algorithm: A Numerical Method to Extract Shape Information
from Gray Scale Images
Davoli, R.; Tamburini, F. |
|
| UBLCS-93-16 |
Towards Performance Evaluation in Process Algebras
Gorrieri, R.; Roccetti, M. |
|
| UBLCS-93-17 |
Split and ST Bisimulation Semantics
Gorrieri, R.; Laneve, C. |
|
| UBLCS-93-18 |
Multilanguage Interoperability
Attardi, G.; Gaspari, M. |
|
| UBLCS-93-19 |
HERMES: an Expert System for the Prognosis of Hepatic
Diseases
Bonfa', I.; Maioli, C.; Sarti, F.; Milandri, G.L.; Dal Monte,
P.R. |
|
| UBLCS-93-20 |
An Information Flow Security Property for CCS
Focardi, R.; Gorrieri, R. |
|
| UBLCS-93-21 |
A Classification of Security Properties
Focardi, R.; Gorrieri, R. |
|
| UBLCS-93-22 |
Real Time Systems: A Tutorial
Panzieri, F.; Davoli, R. |
|
| UBLCS-93-23 |
A Scalable Architecture for Reliable Distributed Multimedia
Applications
Panzieri, F.; Roccetti, M. |
|
| UBLCS-93-24 |
Wide-Area Distribution Issues In Hypertext Systems
Maioli, C.; Sola, S.; Vitali, F. |
|
| UBLCS-93-25 |
On Relating Some Models for Concurrency
Degano, P.; Gorrieri, R.; Vigna, S. |
|
| UBLCS-93-26 |
Axiomatising ST Bisimulation Equivalence
Busi, N.; van Glabbeek, R.; Gorrieri, R. |
|
| UBLCS-93-27 |
A Theory of Processes with Durational Actions
Gorrieri, R.; Roccetti, M.; Stancampiano, E. |
