AAAAAA
Results:
1-9
|
Results: 9
Authors:
Rensink, A
Gorrieri, R
Citation: A. Rensink et R. Gorrieri, Vertical implementation, INF COMPUT, 170(1), 2001, pp. 95-133
Authors:
Bernardo, M
Gorrieri, R
Citation: M. Bernardo et R. Gorrieri, A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time (vol 202, pg 1, 1998), THEOR COMP, 254(1-2), 2001, pp. 691-694
Authors:
Durante, A
Focardi, R
Gorrieri, R
Citation: A. Durante et al., A compiler for analyzing cryptographic protocols using noninterference, ACM T SOFTW, 9(4), 2000, pp. 488-528
Authors:
Busi, N
Gorrieri, R
Zavattaro, G
Citation: N. Busi et al., On the expressiveness of Linda coordination primitives, INF COMPUT, 156(1-2), 2000, pp. 90-121
Authors:
Busi, N
Gorrieri, R
Zavattaro, G
Citation: N. Busi et al., Comparing three semantics for Linda-like languages, THEOR COMP, 240(1), 2000, pp. 49-90
Authors:
Florio, MF
Gorrieri, R
Marchetti, G
Citation: Mf. Florio et al., Coping with denial of service due to malicious Java applets, COMPUT COMM, 23(17), 2000, pp. 1645-1654
Authors:
Degano, P
Gorrieri, R
Marchetti-Spaccamela, A
Wegner, P
Citation: P. Degano et al., Computing Surveys' Electronic Symposium on the Theory of Computation, ACM C SURV, 31, 1999, pp. 223-225
Authors:
Degano, P
Gorrieri, R
Marchetti-Spaccamela, A
Citation: P. Degano et al., ICALP '97 - Foreword, THEOR COMP, 221(1-2), 1999, pp. 1-1
Authors:
Corradini, F
Gorrieri, R
Marchignoli, D
Citation: F. Corradini et al., Towards parallelization of concurrent systems, RAIRO-INF, 32(4-6), 1998, pp. 99-125
Risultati:
1-9
|