Login
|
New Account
AAAAAA
ITA
ENG
Results:
1-7
|
Results: 7
Divergence in testing and readiness semantics
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
Algebraic characterizations of trace and decorated trace equivalences overtree-like structures
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
Types for access control
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
Linda-based applicative and imperative process algebras
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
A finite axiomatization of nondeterministic regular expressions
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
Basic observables for processes
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
Models of nondeterministic regular expressions
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
|