 |
Sei in:
|
|
| UBLCS-97-1 |
Partitionable Group Membership: Specification and
Algorithms
Babaoglu, O.; Davoli, R.; Montresor, A. |
|
| UBLCS-97-2 |
A Truly Concurrent View of Linda Interprocess
Communication
Busi, N.; Gorrieri, R.; Zavattaro, G. |
|
| UBLCS-97-3 |
Knowledge-Level Speech Acts
Gaspari, M. |
|
| UBLCS-97-4 |
An Algebra of Actors
Gaspari, M.; Zavattaro, G. |
|
| UBLCS-97-5 |
On the Turing Equivalence of Linda Coordination
Primitives
Busi, N.; Gorrieri, R.; Zavattaro, G. |
|
| UBLCS-97-6 |
A Process Algebraic View of Linda Coordination Primitives
Busi, N.; Gorrieri, R.; Zavattaro, G. |
|
| UBLCS-97-7 |
Validating a Software Architecture with Respect to an
Architectural Style
Ciancarini, P.; Penzo, W. |
|
| UBLCS-97-8 |
System Support for Partition-Aware Network Applications
Babaoglu, O.; Davoli, R.; Montresor, A.; Segala, R. |
|
| UBLCS-97-9 |
Generalized Semi-Markovian Process Algebra
Bravetti, M.; Bernardo, M.; Gorrieri, R. |
|
|
|
|
|
|
