The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rocco De Nicola: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    KLAIM: A Kernel Language for Agents Interaction and Mobility. [Citation Graph (1, 0)][DBLP]
    IEEE Trans. Software Eng., 1998, v:24, n:5, pp:315-330 [Journal]
  2. Luca Aceto, Rocco De Nicola, Alessandro Fantechi
    Testing Equivalences for Event Structures. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:1-20 [Conf]
  3. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    CCS is an (Augmented) Contact Free C/E System. [Citation Graph (0, 0)][DBLP]
    Mathematical Models for the Semantics of Parallelism, 1986, pp:144-165 [Conf]
  4. Rocco De Nicola, Michele Loreti
    A Modal Logic for KLAIM. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:339-354 [Conf]
  5. Rocco De Nicola, Paola Inverardi, Monica Nesi
    Using the Adxiomatic Presentation of Behavioural Equivalences for Manipulating CCS Specifications. [Citation Graph (0, 0)][DBLP]
    Automatic Verification Methods for Finite State Systems, 1989, pp:54-67 [Conf]
  6. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Formal Basis for Reasoning on Programmable QoS. [Citation Graph (0, 0)][DBLP]
    Verification: Theory and Practice, 2003, pp:436-479 [Conf]
  7. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    CAV, 1991, pp:37-47 [Conf]
  8. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Salvatore Larosa, Gioia Ristori
    Verifying hardware components within JACK. [Citation Graph (0, 0)][DBLP]
    CHARME, 1995, pp:246-260 [Conf]
  9. Michele Boreale, Rocco De Nicola
    Testing Equivalence for Mobile Processes (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1992, pp:2-16 [Conf]
  10. Michele Boreale, Rocco De Nicola
    A Symbolic Semantics for the pi-calculus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    CONCUR, 1994, pp:299-314 [Conf]
  11. Flavio Corradini, Rocco De Nicola, Anna Labella
    Fully Abstract Models for Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1995, pp:130-144 [Conf]
  12. Rocco De Nicola
    Action and State-based Logics for Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1991, pp:20-22 [Conf]
  13. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Programming Access Control: The KLAIM Experience. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2000, pp:48-65 [Conf]
  14. Rocco De Nicola, Ugo Montanari, Frits W. Vaandrager
    Back and Forth Bisimulations. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1990, pp:152-165 [Conf]
  15. Simone Veglioni, Rocco De Nicola
    Possible Worlds for Process Algebras. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1998, pp:179-193 [Conf]
  16. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Formalizing Properties of Mobile Agent Systems. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:72-87 [Conf]
  17. Rocco De Nicola
    Coordination and Access Control of Mobile Agents. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:1-2 [Conf]
  18. Rocco De Nicola, Gian Luigi Ferrari, Ugo Montanari, Rosario Pugliese, Emilio Tuosto
    A Process Calculus for QoS-Aware Applications. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:33-48 [Conf]
  19. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Coordinating Mobile Agents via Blackboards and Access Rights. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:220-237 [Conf]
  20. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global Computing in a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:157-172 [Conf]
  21. Rocco De Nicola, Rosario Pugliese
    A Process Algebra Based on LINDA. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1996, pp:160-178 [Conf]
  22. Rocco De Nicola, Rosario Pugliese, Antony I. T. Rowstron
    Proving the Correctness of Optimising Destructive and Non-destructive Reads over Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2000, pp:66-80 [Conf]
  23. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Michele Loreti
    A Flexible and Modular Framework for Implementing Infrastructures for Global Computing. [Citation Graph (0, 0)][DBLP]
    DAIS, 2005, pp:181-193 [Conf]
  24. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Types as Specifications of Access Policies. [Citation Graph (0, 0)][DBLP]
    Secure Internet Programming, 1999, pp:118-146 [Conf]
  25. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial ordering derivations for CCS. [Citation Graph (0, 0)][DBLP]
    FCT, 1985, pp:520-533 [Conf]
  26. Rocco De Nicola
    A Complete Set of Axioms for a Theory of Communicating Sequential Processes. [Citation Graph (0, 0)][DBLP]
    FCT, 1983, pp:115-126 [Conf]
  27. Lorenzo Bettini, Rocco De Nicola
    A Java Middleware for Guaranteeing Privacy of Distributed Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    FIDJI, 2002, pp:175-184 [Conf]
  28. Rocco De Nicola, Michele Loreti
    MoMo: A Modal Logic for Reasoning About Mobility. [Citation Graph (0, 0)][DBLP]
    FMCO, 2004, pp:95-119 [Conf]
  29. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Pattern Matching over a Dynamic Network of Tuple Spaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2005, pp:1-14 [Conf]
  30. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Process Algebraic Analysis of Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:375-392 [Conf]
  31. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Asynchronous Observations of Processes. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1998, pp:95-109 [Conf]
  32. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    A Theory of "May" Testing for Asynchronous Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 1999, pp:165-179 [Conf]
  33. Flavio Corradini, Rocco De Nicola, Anna Labella
    Graded Modalities and Resource Bisimulation. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1999, pp:381-393 [Conf]
  34. Rocco De Nicola, Gian Luigi Ferrari
    Observational Logics and Concurrency Models. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 1990, pp:301-315 [Conf]
  35. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Marc Lacoste, Luís M. B. Lopes, Licínio Oliveira, Hervé Paulino, Vasco Thudichum Vasconcelos
    A Software Framework for Rapid Prototyping of Run-Time Systems for Mobile Calculi. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:179-207 [Conf]
  36. Lorenzo Bettini, Viviana Bono, Rocco De Nicola, Gian Luigi Ferrari, Daniele Gorla, Michele Loreti, Eugenio Moggi, Rosario Pugliese, Emilio Tuosto, Betti Venneri
    The Klaim Project: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2003, pp:88-150 [Conf]
  37. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Basic Observables for Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1997, pp:482-492 [Conf]
  38. Xiao Jun Chen, Rocco De Nicola
    Algebraic Characterizations of Decorated Trace Equivalences over Tree-Like Structures. [Citation Graph (0, 0)][DBLP]
    ICALP, 1996, pp:63-74 [Conf]
  39. Flavio Corradini, Rocco De Nicola
    Distribution and Locality of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    ICALP, 1994, pp:154-165 [Conf]
  40. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic Observables for a Calculus for Global Computing. [Citation Graph (0, 0)][DBLP]
    ICALP, 2005, pp:1226-1238 [Conf]
  41. Rocco De Nicola, Matthew Hennessy
    Testing Equivalence for Processes. [Citation Graph (0, 0)][DBLP]
    ICALP, 1983, pp:548-560 [Conf]
  42. Rocco De Nicola, A. Matelli, Ugo Montanari
    Communication Through Message Passing or Shared Memory: A Formal Comparison. [Citation Graph (0, 0)][DBLP]
    ICDCS, 1981, pp:513-522 [Conf]
  43. Rocco De Nicola
    Languages and Process Calculi for Network Aware Programming - Short Summary -. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2005, pp:49-52 [Conf]
  44. Rocco De Nicola
    Net Theory and Application - Response. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1986, pp:833-836 [Conf]
  45. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Proof Techniques for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    LICS, 1999, pp:157-166 [Conf]
  46. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
    Semantic Subtyping for the p-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:92-101 [Conf]
  47. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    On the Consistency of ``Truly Concurrent'' Operational and Denotational Semantics (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1988, pp:133-141 [Conf]
  48. Rocco De Nicola, Frits W. Vaandrager
    Three Logics for Branching Bisimulation (Extended Abstract) [Citation Graph (0, 0)][DBLP]
    LICS, 1990, pp:118-129 [Conf]
  49. Rocco De Nicola, Frits W. Vaandrager
    Action versus State based Logics for Transition Systems. [Citation Graph (0, 0)][DBLP]
    Semantics of Systems of Concurrent Processes, 1990, pp:407-419 [Conf]
  50. Rocco De Nicola, Rosario Pugliese
    Testing Semantics of Asynchronous Distributed Programs. [Citation Graph (0, 0)][DBLP]
    LOMAPS, 1996, pp:320-344 [Conf]
  51. Lorenzo Bettini, Rocco De Nicola
    Translating Strong Mobility into Weak Mobility. [Citation Graph (0, 0)][DBLP]
    Mobile Agents, 2001, pp:182-197 [Conf]
  52. Rocco De Nicola
    Models and Operators for Nondeterministic Processes. [Citation Graph (0, 0)][DBLP]
    MFCS, 1984, pp:433-442 [Conf]
  53. Rocco De Nicola, Anna Labella
    A Completeness Theorem fro Nondeterministic Kleene Algebras. [Citation Graph (0, 0)][DBLP]
    MFCS, 1994, pp:536-545 [Conf]
  54. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Observation Trees. [Citation Graph (0, 0)][DBLP]
    NAPAW, 1992, pp:103-118 [Conf]
  55. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Partial orderings descriptions and observations of nondeterministic concurrent processes. [Citation Graph (0, 0)][DBLP]
    REX Workshop, 1988, pp:438-466 [Conf]
  56. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Software update via mobile agent based programming. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:32-36 [Conf]
  57. Rocco De Nicola, Diego Latella, Mieke Massink
    Formal modeling and quantitative analysis of KLAIM-based mobile systems. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:428-435 [Conf]
  58. Lorenzo Bettini, Rocco De Nicola
    Mobile Distributed Programming in X-Klaim. [Citation Graph (0, 0)][DBLP]
    SFM, 2005, pp:29-68 [Conf]
  59. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Locality Based Linda: Programming with Explicit Localities. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1997, pp:712-726 [Conf]
  60. Rocco De Nicola, Matthew Hennessy
    CCS without tau's. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, Vol.1, 1987, pp:138-152 [Conf]
  61. Luis Filipe Andrade, Paolo Baldan, Hubert Baumeister, Roberto Bruni, Andrea Corradini, Rocco De Nicola, José Luiz Fiadeiro, Fabio Gadducci, Stefania Gnesi, Piotr Hoffman, Nora Koch, Piotr Kosiuczenko, Alessandro Lapadula, Diego Latella, Antónia Lopes, Michele Loreti, Mieke Massink, Franco Mazzanti, Ugo Montanari, Cristóvão Oliveira, Rosario Pugliese, Andrzej Tarlecki, Michel Wermelinger, Martin Wirsing, Artur Zawlocki
    AGILE: Software Architecture for Mobility. [Citation Graph (0, 0)][DBLP]
    WADT, 2002, pp:1-33 [Conf]
  62. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese, Gian Luigi Ferrari
    Interactive Mobile Agents in X-Klaim. [Citation Graph (0, 0)][DBLP]
    WETICE, 1998, pp:110-117 [Conf]
  63. Lorenzo Bettini, Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese
    Mobile Applications in X-KLAIM. [Citation Graph (0, 0)][DBLP]
    WOA, 2000, pp:1-6 [Conf]
  64. Michele Boreale, Roberto Bruni, Luís Caires, Rocco De Nicola, Ivan Lanese, Michele Loreti, Francisco Martins, Ugo Montanari, António Ravara, Davide Sangiorgi, Vasco Thudichum Vasconcelos, Gianluigi Zavattaro
    SCC: A Service Centered Calculus. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:38-57 [Conf]
  65. Flavio Corradini, Rocco De Nicola
    Locality Based Semantics for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1997, v:34, n:4, pp:291-324 [Journal]
  66. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Distributed Operational Semantics for CCS Based on Condition/Event Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1988, v:26, n:1/2, pp:59-91 [Journal]
  67. Rocco De Nicola
    Extensional Equivalences for Transition Systems. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1987, v:24, n:2, pp:211-237 [Journal]
  68. Rocco De Nicola, Davide Sangiorgi
    Types in concurrency. [Citation Graph (0, 0)][DBLP]
    Acta Inf., 2005, v:42, n:2-3, pp:79-81 [Journal]
  69. Lorenzo Bettini, Rocco De Nicola, Michele Loreti
    Formulae Meet Programs Over the Net: A Framework for Correct Network Aware Programming. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:3, pp:245-288 [Journal]
  70. Rocco De Nicola, Alessandro Fantechi, Stefania Gnesi, Gioia Ristori
    An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems. [Citation Graph (0, 0)][DBLP]
    Computer Networks and ISDN Systems, 1993, v:25, n:7, pp:761-778 [Journal]
  71. Rocco De Nicola, Scott A. Smolka
    Concurrency: Theory and Practice. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:52- [Journal]
  72. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
    XKlaim and Klava: Programming Mobile Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  73. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the Expressive Power of Klaim-based Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:2, pp:117-130 [Journal]
  74. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Towards a Logic for Performance and Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:161-175 [Journal]
  75. Rocco De Nicola, Anna Labella
    Tree Morphisms and Bisimulations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:18, n:, pp:- [Journal]
  76. Rocco De Nicola
    From Process Calculi to Klaim and Back. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:159-162 [Journal]
  77. Flavio Corradini, Rocco De Nicola
    On Four Partial Ordering Semantics for a Process Calculus. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 1996, v:27, n:4, pp:349-383 [Journal]
  78. Michele Boreale, Rocco De Nicola
    Testing Equivalence for Mobile Processes [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1995, v:120, n:2, pp:279-303 [Journal]
  79. Michele Boreale, Rocco De Nicola
    A Symbolic Semantics for the pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1996, v:126, n:1, pp:34-52 [Journal]
  80. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Trace and Testing Equivalence on Asynchronous Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2002, v:172, n:2, pp:139-164 [Journal]
  81. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Basic Observables for Processes. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 1999, v:149, n:1, pp:77-98 [Journal]
  82. Rocco De Nicola
    Two Complete Axiom Systems for a Theory of Communicating Sequential Processes [Citation Graph (0, 0)][DBLP]
    Information and Control, 1985, v:64, n:1-3, pp:136-172 [Journal]
  83. Flavio Corradini, Rocco De Nicola, Anna Labella
    A finite axiomatization of nondeterministic regular expressions. [Citation Graph (0, 0)][DBLP]
    ITA, 1999, v:33, n:4/5, pp:447-466 [Journal]
  84. Rocco De Nicola, Frits W. Vaandrager
    Three Logics for Branching Bisimulation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1995, v:42, n:2, pp:458-487 [Journal]
  85. Flavio Corradini, Rocco De Nicola, Anna Labella
    Models of Nondeterministic Regular Expressions. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1999, v:59, n:3, pp:412-449 [Journal]
  86. Flavio Corradini, Rocco De Nicola, Anna Labella
    An Equational Axiomatization of Bisimulation over Regular Expressions. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 2002, v:12, n:2, pp:301-320 [Journal]
  87. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Confining data and processes in global computing applications. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:57-87 [Journal]
  88. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Global computing in a dynamic network of tuple spaces. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2007, v:64, n:2, pp:187-204 [Journal]
  89. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Proof Techniques for Cryptographic Processes. [Citation Graph (0, 0)][DBLP]
    SIAM J. Comput., 2001, v:31, n:3, pp:947-986 [Journal]
  90. Lorenzo Bettini, Rocco De Nicola, Rosario Pugliese
    Klava: a Java package for distributed and mobile applications. [Citation Graph (0, 0)][DBLP]
    Softw., Pract. Exper., 2002, v:32, n:14, pp:1365-1394 [Journal]
  91. Michele Boreale, Rocco De Nicola, Rosario Pugliese
    Divergence in testing and readiness semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:266, n:1-2, pp:237-248 [Journal]
  92. Xiao Jun Chen, Rocco De Nicola
    Algebraic characterizations of trace and decorated trace equivalences over tree-like structures. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:337-361 [Journal]
  93. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    A Partial Ordering Semantics for CCS. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1990, v:75, n:3, pp:223-262 [Journal]
  94. Pierpaolo Degano, Rocco De Nicola, Ugo Montanari
    Universal Axioms for Bisimulations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1993, v:114, n:1, pp:63-91 [Journal]
  95. Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Betti Venneri
    Types for access control. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:215-254 [Journal]
  96. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    On the expressive power of KLAIM-based calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:3, pp:387-421 [Journal]
  97. Rocco De Nicola, Matthew Hennessy
    Testing Equivalences for Processes. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1984, v:34, n:, pp:83-133 [Journal]
  98. Rocco De Nicola, Anna Labella
    Nondeterministic regular expressions as solutions of equational systems. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:302, n:1-3, pp:179-189 [Journal]
  99. Rocco De Nicola, Rosario Pugliese
    Linda-based applicative and imperative process algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:238, n:1-2, pp:389-437 [Journal]
  100. Rocco De Nicola, Roberto Segala
    A Process Algebraic View of Input/Output Automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:138, n:2, pp:391-423 [Journal]
  101. Rocco De Nicola, Michele Loreti
    A modal logic for mobile agents. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Comput. Log., 2004, v:5, n:1, pp:79-128 [Journal]
  102. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
    Implementing a Distributed Mobile Calculus Using the IMC Framework. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:63-79 [Journal]
  103. Rocco De Nicola, Daniele Gorla, Rosario Pugliese
    Basic observables for a calculus for global computing. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2007, v:205, n:10, pp:1491-1525 [Journal]
  104. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Michele Loreti, Mieke Massink
    Model checking mobile stochastic logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:382, n:1, pp:42-70 [Journal]

  105. Ugo Montanari in a Nutshell. [Citation Graph (, )][DBLP]


  106. Implementing Session Centered Calculi. [Citation Graph (, )][DBLP]


  107. From Flow Logic to Static Type Systems for Coordination Languages. [Citation Graph (, )][DBLP]


  108. Sessions and Pipelines for Structured Service Programming. [Citation Graph (, )][DBLP]


  109. Rate-Based Transition Systems for Stochastic Process Calculi. [Citation Graph (, )][DBLP]


  110. Session Centered Calculi for Service Oriented Computing. [Citation Graph (, )][DBLP]


  111. Basic Observables for Probabilistic May Testing. [Citation Graph (, )][DBLP]


  112. SensoriaProcess Calculi for Service-Oriented Computing. [Citation Graph (, )][DBLP]


  113. Provably Correct Implementations of Services. [Citation Graph (, )][DBLP]


  114. On a Uniform Framework for the Definition of Stochastic Process Languages. [Citation Graph (, )][DBLP]


  115. Multi Labelled Transition Systems: A Semantic Framework for Nominal Calculi. [Citation Graph (, )][DBLP]


  116. MarCaSPiS: a Markovian Extension of a Calculus for Services. [Citation Graph (, )][DBLP]


Search in 0.111secs, Finished in 0.118secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002