Rocco De Nicola
Rocco De Nicola
Professor of Computer Science, IMT Lucca
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα imtlucca.it - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
Testing equivalences for processes
R De Nicola, MCB Hennessy
Theoretical computer science 34 (1-2), 83-133, 1984
17241984
KLAIM: A kernel language for agents interaction and mobility
R De Nicola, GL Ferrari, R Pugliese
IEEE Transactions on software engineering 24 (5), 315-330, 1998
7181998
Three logics for branching bisimulation
R De Nicola, F Vaandrager
Journal of the ACM (JACM) 42 (2), 458-487, 1995
4591995
Action versus state based logics for transition systems
R De Nicola, F Vaandrager
Semantics of Systems of Concurrent Processes 469 (Lecture Notes in Computer …, 1990
4361990
Extensional equivalences for transition systems
R De Nicola
Acta Informatica 24 (2), 211-237, 1987
3391987
SCC: A Service Centered Calculus
M Boreale, R Bruni, L Caires, R De Nicola, I Lanese, M Loreti, F Martins, ...
International Workshop on Web Services and Formal Methods, 38-57, 2006
2042006
A distributed operational semantics for CCS based on condition/event systems
P Degano, R De Nicola, U Montanari
Acta Informatica 26 (1), 59-91, 1988
1961988
A formal approach to autonomic systems programming: the SCEL language
RD Nicola, M Loreti, R Pugliese, F Tiezzi
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 9 (2), 1-29, 2014
183*2014
Proof techniques for cryptographic processes
M Boreale, R De Nicola, R Pugliese
SIAM Journal on Computing 31 (3), 947-986, 2001
1812001
An action-based framework for veryfying logical and behavioural properties of concurrent systems
R De Nicola, A Fantechi, S Gnesi, G Ristori
Computer networks and ISDN systems 25 (7), 761-778, 1993
1581993
Sessions and pipelines for structured service programming
M Boreale, R Bruni, R De Nicola, M Loreti
International Conference on Formal Methods for Open Object-Based Distributed …, 2008
1552008
Back and forth bisimulations
R De Nicola, U Montanari, F Vaandrager
International Conference on Concurrency Theory, 152-165, 1990
1451990
Testing equivalence for mobile processes
M Boreale, R De Nicola
Information and Computation 120 (2), 279-303, 1995
1431995
The klaim project: Theory and practice
L Bettini, V Bono, R De Nicola, G Ferrari, D Gorla, M Loreti, E Moggi, ...
International Workshop on Global Computing, 88-150, 2003
1372003
Partial orderings descriptions and observations of nondeterministic concurrent processes
P Degano, R De Nicola, U Montanari
Workshop/School/Symposium of the REX Project (Research and Education in …, 1988
1231988
Types for access control
R De Nicola, GL Ferrari, R Pugliese, B Venneri
Theoretical Computer Science 240 (1), 215-254, 2000
1212000
Klava: a Java package for distributed and mobile applications
L Bettini, R De Nicola, R Pugliese
Software: Practice and Experience 32 (14), 1365-1394, 2002
1112002
CCS without τ's
R De Nicola, M Hennessy
Colloquium on Trees in Algebra and Programming, 138-152, 1987
1041987
A language-based approach to autonomic computing
R De Nicola, G Ferrari, M Loreti, R Pugliese
International Symposium on Formal Methods for Components and Objects, 25-48, 2011
982011
A partial ordering semantics for CCS
P Degano, R De Nicola, U Montanari
Theoretical Computer Science 75 (3), 223-262, 1990
971990
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20