AAAAAA
Results:
1-7
|
Results: 7
Authors:
Boreale, M
De Nicola, R
Pugliese, R
Citation: M. Boreale et al., Divergence in testing and readiness semantics, THEOR COMP, 266(1-2), 2001, pp. 237-248
Authors:
Chen, XJ
De Nicola, R
Citation: Xj. Chen et R. De Nicola, Algebraic characterizations of trace and decorated trace equivalences overtree-like structures, THEOR COMP, 254(1-2), 2001, pp. 337-361
Authors:
De Nicola, R
Ferrari, G
Pugliese, R
Venneri, B
Citation: R. De Nicola et al., Types for access control, THEOR COMP, 240(1), 2000, pp. 215-254
Authors:
De Nicola, R
Pugliese, R
Citation: R. De Nicola et R. Pugliese, Linda-based applicative and imperative process algebras, THEOR COMP, 238(1-2), 2000, pp. 389-437
Authors:
Corradini, F
De Nicola, R
Labella, A
Citation: F. Corradini et al., A finite axiomatization of nondeterministic regular expressions, RAIRO-INF, 33(4-5), 1999, pp. 447-465
Authors:
Boreale, M
De Nicola, R
Pugliese, R
Citation: M. Boreale et al., Basic observables for processes, INF COMPUT, 149(1), 1999, pp. 77-98
Authors:
Corradini, F
De Nicola, R
Labella, A
Citation: F. Corradini et al., Models of nondeterministic regular expressions, J COMPUT SY, 59(3), 1999, pp. 412-449
Risultati:
1-7
|