AAAAAA
Results:
1-8
|
Results: 8
Authors:
DENICOLA R
FERRARI GL
PUGLIESE R
Citation: R. Denicola et al., KLAIM - A KERNEL LANGUAGE FOR AGENTS INTERACTION AND MOBILITY, IEEE transactions on software engineering, 24(5), 1998, pp. 315-330
Authors:
CORRADINI F
DENICOLA R
Citation: F. Corradini et R. Denicola, LOCALITY BASED SEMANTICS FOR PROCESS ALGEBRAS, Acta informatica, 34(4), 1997, pp. 291-324
Authors:
BOREALE M
DENICOLA R
Citation: M. Boreale et R. Denicola, A SYMBOLIC SEMANTICS FOR THE PI-CALCULUS, Information and computation, 126(1), 1996, pp. 34-52
Authors:
CLEAVELAND R
SMOLKA SA
ALUR R
BAETEN J
BERGSTRA JA
BEST E
DENICOLA R
GILL H
GORRIERI R
GOUDA MG
GROOTE JF
HENZINGER TA
HOARE CAR
LUGINBUHL D
MEYER A
MILLER D
MISRA J
MOLLER F
MONTANARI U
PNUELI A
PRASAD S
PRATT VR
SIFAKIS J
SMOLKACHAIR SA
STEFFEN B
THOMSEN B
VAANDRAGER F
VARDI M
WOLPER P
Citation: R. Cleaveland et al., STRATEGIC DIRECTIONS IN CONCURRENCY RESEARCH, ACM computing surveys, 28(4), 1996, pp. 607-625
Authors:
BOREALE M
DENICOLA R
Citation: M. Boreale et R. Denicola, TESTING EQUIVALENCE FOR MOBILE PROCESSES, Information and computation, 120(2), 1995, pp. 279-303
Authors:
DENICOLA R
SEGALA R
Citation: R. Denicola et R. Segala, A PROCESS ALGEBRAIC VIEW OF INPUT-OUTPUT AUTOMATA, Theoretical computer science, 138(2), 1995, pp. 391-423
Authors:
DENICOLA R
VAADRAGER F
Citation: R. Denicola et F. Vaadrager, 3 LOGICS FOR BRANCHING BISIMULATION, Journal of the Association for Computing Machinery, 42(2), 1995, pp. 458-487
Authors:
DEGANO P
DENICOLA R
MONTANARI U
Citation: P. Degano et al., UNIVERSAL AXIOMS FOR BISIMULATIONS, Theoretical computer science, 114(1), 1993, pp. 63-91
Risultati:
1-8
|