AAAAAA
Results:
1-7
|
Results: 7
Authors:
Degano, P
Priami, C
Citation: P. Degano et C. Priami, Enhanced operational semantics: A tool for describing and analyzing concurrent systems, ACM C SURV, 33(2), 2001, pp. 135-176
Authors:
Bodei, C
Degano, P
Priami, C
Citation: C. Bodei et al., Names of the pi-calculus agents handled locally, THEOR COMP, 253(2), 2001, pp. 155-184
Authors:
Nottegar, C
Priami, C
Degano, P
Citation: C. Nottegar et al., Performance evaluation of mobile processes via abstract machines, IEEE SOFT E, 27(10), 2001, pp. 867-889
Authors:
Priami, C
Regev, A
Shapiro, E
Silverman, W
Citation: C. Priami et al., Application of a stochastic name-passing calculus to representation and simulation of molecular processes, INF PROCESS, 80(1), 2001, pp. 25-31
Authors:
Priami, C
Citation: C. Priami, Operational methods in theoretical computer science, ACM C SURV, 31, 1999, pp. K1-K5
Authors:
Degano, P
Priami, C
Citation: P. Degano et C. Priami, Non-interleaving semantics for mobile processes, THEOR COMP, 216(1-2), 1999, pp. 237-270
Authors:
Degano, P
Priami, C
Leth, L
Thomsen, B
Citation: P. Degano et al., Causality for debugging mobile agents, ACT INFORM, 36(5), 1999, pp. 335-374
Risultati:
1-7
|