Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-9
|
Results: 9
Vertical implementation
Authors:
Rensink, A Gorrieri, R
Citation:
A. Rensink et R. Gorrieri, Vertical implementation, INF COMPUT, 170(1), 2001, pp. 95-133
A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time (vol 202, pg 1, 1998)
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
A compiler for analyzing cryptographic protocols using noninterference
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
On the expressiveness of Linda coordination primitives
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
Comparing three semantics for Linda-like languages
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
Coping with denial of service due to malicious Java applets
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
Computing Surveys' Electronic Symposium on the Theory of Computation
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
ICALP '97 - Foreword
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
Towards parallelization of concurrent systems
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
|