Rocco De Nicola

Rocco De Nicola

Istituto di studi avanzati di Lucca IMT - Lucca / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1856782
IMT School for Advanced Studies Lucca
person_outline Rocco De Nicola's MOST POPULAR ARTICLES
1-) Testing equivalences for processesR De Nicola, MCB HennessyTheoretical computer science 34 (1-2), 83-133, 198417861984
2-) KLAIM: A kernel language for agents interaction and mobilityR De Nicola, GL Ferrari, R PuglieseIEEE Transactions on software engineering 24 (5), 315-330, 19987391998
3-) Three logics for branching bisimulationR De Nicola, F VaandragerJournal of the ACM (JACM) 42 (2), 458-487, 19954761995
4-) Action versus state based logics for transition systemsR De Nicola, F VaandragerSemantics of Systems of Concurrent Processes 469 (Lecture Notes in Computer …, 19904881990
5-) Extensional equivalences for transition systemsR De NicolaActa Informatica 24 (2), 211-237, 19873591987