The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gianluigi Zavattaro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Process Calculi for Coordination: From Linda to JavaSpaces. [Citation Graph (0, 0)][DBLP]
    AMAST, 2000, pp:198-212 [Conf]
  2. Frank S. de Boer, Gianluigi Zavattaro
    Generic Process Algebras for Asynchronous Communication. [Citation Graph (0, 0)][DBLP]
    CONCUR, 1999, pp:226-241 [Conf]
  3. Mauro Gaspari, Gianluigi Zavattaro
    An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. [Citation Graph (0, 0)][DBLP]
    Concurrent Object-Oriented Programming and Petri Nets, 2001, pp:428-444 [Conf]
  4. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
    Comparing Software Architectures for Coordination Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1999, pp:150-165 [Conf]
  5. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:55-70 [Conf]
  6. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration Conformance for System Design. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2006, pp:63-81 [Conf]
  7. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Three Semantics of the Output Operation for Generative Communication. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 1997, pp:205-219 [Conf]
  8. Nadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro
    State- and Event-Based Reactive Programming in Shared Dataspaces. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2002, pp:111-124 [Conf]
  9. Nadia Busi, Gianluigi Zavattaro
    Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2005, pp:204-219 [Conf]
  10. Sirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro
    From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2004, pp:105-118 [Conf]
  11. Mauro Gaspari, Gianluigi Zavattaro
    Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. [Citation Graph (0, 0)][DBLP]
    ECOOP, 1999, pp:495-518 [Conf]
  12. Nadia Busi, Gianluigi Zavattaro
    On the Expressiveness of Event Notification in Data-Driven Coordination Languages. [Citation Graph (0, 0)][DBLP]
    ESOP, 2000, pp:41-55 [Conf]
  13. Nadia Busi, Gianluigi Zavattaro
    Deciding Reachability in Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    ESOP, 2005, pp:248-262 [Conf]
  14. Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
    A Calculus for Long-Running Transactions. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2003, pp:124-138 [Conf]
  15. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Semantics of JavaSpaces. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2000, pp:3-0 [Conf]
  16. Mauro Gaspari, Gianluigi Zavattaro
    An Algebra of Actors. [Citation Graph (0, 0)][DBLP]
    FMOODS, 1999, pp:- [Conf]
  17. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Temporary Data in Shared Dataspace Coordination Languages. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:121-136 [Conf]
  18. Cosimo Laneve, Gianluigi Zavattaro
    Foundations of Web Transactions. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2005, pp:282-298 [Conf]
  19. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Replication vs. Recursive Definitions in Channel Based Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 2003, pp:133-144 [Conf]
  20. Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparing Recursion, Replication, and Iteration in Process Calculi. [Citation Graph (0, 0)][DBLP]
    ICALP, 2004, pp:307-319 [Conf]
  21. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Choreography and Orchestration: A Synergic Approach for System Design. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2005, pp:228-240 [Conf]
  22. Claudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro
    : A Calculus for Service Oriented Computing. [Citation Graph (0, 0)][DBLP]
    ICSOC, 2006, pp:327-338 [Conf]
  23. Nadia Busi, Gianluigi Zavattaro
    Reachability Analysis in Boxed Ambients. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2005, pp:143-159 [Conf]
  24. Mario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Security Issues in the Tuple-Space Coordination Model. [Citation Graph (0, 0)][DBLP]
    Formal Aspects in Security and Trust, 2004, pp:1-12 [Conf]
  25. Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
    Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. [Citation Graph (0, 0)][DBLP]
    NETWORKING Workshops, 2002, pp:295-299 [Conf]
  26. Mario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri
    Web Services for E-commerce: guaranteeing security access and quality of service. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:800-806 [Conf]
  27. Nadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro
    PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. [Citation Graph (0, 0)][DBLP]
    SAC, 2003, pp:380-386 [Conf]
  28. Nadia Busi, Gianluigi Zavattaro
    Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. [Citation Graph (0, 0)][DBLP]
    SAC (1), 2000, pp:233-239 [Conf]
  29. Nadia Busi, Gianluigi Zavattaro
    On the serializability of transactions in shared dataspaces with temporary data. [Citation Graph (0, 0)][DBLP]
    SAC, 2002, pp:359-366 [Conf]
  30. Mario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Supporting e-commerce systems formalization with choreography languages. [Citation Graph (0, 0)][DBLP]
    SAC, 2005, pp:831-835 [Conf]
  31. Roberto Lucchi, Gianluigi Zavattaro
    WSSecSpaces: a secure data-driven coordination service for Web Services applications. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:487-491 [Conf]
  32. Cosimo Laneve, Gianluigi Zavattaro
    web-pi at Work. [Citation Graph (0, 0)][DBLP]
    TGC, 2005, pp:182-194 [Conf]
  33. Nadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    Towards a formal framework for Choreography. [Citation Graph (0, 0)][DBLP]
    WETICE, 2005, pp:107-112 [Conf]
  34. Nadia Busi, Gianluigi Zavattaro
    Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. [Citation Graph (0, 0)][DBLP]
    WETICE, 2001, pp:328-333 [Conf]
  35. 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]
  36. Antonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro
    Comparative analysis of the expressiveness of shared dataspace coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:62, n:, pp:- [Journal]
  37. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Combining Partitions in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:99, n:, pp:31-47 [Journal]
  38. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:39-53 [Journal]
  39. Mario Bravetti, Gianluigi Zavattaro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:105, n:, pp:1-4 [Journal]
  40. Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:68, n:3, pp:- [Journal]
  41. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Turing equivalence of Linda coordination primitives. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:7, n:, pp:- [Journal]
  42. Nadia Busi, Gianluigi Zavattaro
    On the Serializability of Transactions in JavaSpaces. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2001, v:54, n:, pp:- [Journal]
  43. Nadia Busi, Gianluigi Zavattaro
    On the Expressiveness of Movement in Pure Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:66, n:3, pp:- [Journal]
  44. Riccardo Focardi, Gianluigi Zavattaro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:85, n:3, pp:- [Journal]
  45. Riccardo Focardi, Gianluigi Zavattaro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:5, pp:1-2 [Journal]
  46. Gianluigi Zavattaro
    Towards a Hierarchy of Negative Test Operators for Generative Communication. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:16, n:2, pp:- [Journal]
  47. Nadia Busi, Gianluigi Zavattaro
    A Process Algebraic View of Coordination. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:141-145 [Journal]
  48. Mario Bravetti, Gianluigi Zavattaro
    Service Oriented Computing: A New Challenge for Process Algebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:162, n:, pp:121-125 [Journal]
  49. Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Supporting Secure Coordination in SecSpaces. [Citation Graph (0, 0)][DBLP]
    Fundam. Inform., 2006, v:73, n:4, pp:479-506 [Journal]
  50. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    On the Expressiveness of Linda Coordination Primitives. [Citation Graph (0, 0)][DBLP]
    Inf. Comput., 2000, v:156, n:1-2, pp:90-121 [Journal]
  51. Nadia Busi, Alberto Montresor, Gianluigi Zavattaro
    Data-Driven Coordination In Peer-To-Peer Information Systems. [Citation Graph (0, 0)][DBLP]
    Int. J. Cooperative Inf. Syst., 2004, v:13, n:1, pp:63-89 [Journal]
  52. Marcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro
    Comparing coordination models and architectures using embeddings. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:1-2, pp:31-69 [Journal]
  53. Riccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro
    Secure shared data-space coordination languages: A process algebraic survey. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:3-15 [Journal]
  54. Riccardo Focardi, Gianluigi Zavattaro
    Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2006, v:63, n:1, pp:1-2 [Journal]
  55. Marcello M. Bonsangue, Farhad Arbab, J. W. de Bakker, Jan J. M. M. Rutten, A. Secutella, Gianluigi Zavattaro
    A transition system semantics for the control-driven coordination language MANIFOLD. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:3-47 [Journal]
  56. Mario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro
    Quantitative information in the tuple space coordination model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2005, v:346, n:1, pp:28-57 [Journal]
  57. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    Comparing three semantics for Linda-like languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:240, n:1, pp:49-90 [Journal]
  58. Nadia Busi, Roberto Gorrieri, Gianluigi Zavattaro
    A Process Algebraic View of Linda Coordination Primitives. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1998, v:192, n:2, pp:167-199 [Journal]
  59. Nadia Busi, Gianluigi Zavattaro
    Expired data collection in shared dataspaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:3, n:298, pp:529-556 [Journal]
  60. Nadia Busi, Gianluigi Zavattaro
    On the expressive power of movement and restriction in pure mobile ambients. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:322, n:3, pp:477-515 [Journal]
  61. Alberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro
    Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. [Citation Graph (0, 0)][DBLP]
    CMSB, 2007, pp:168-183 [Conf]
  62. Mario Bravetti, Gianluigi Zavattaro
    A Theory for Strong Service Compliance. [Citation Graph (0, 0)][DBLP]
    COORDINATION, 2007, pp:96-112 [Conf]
  63. Mario Bravetti, Gianluigi Zavattaro
    Contract Based Multi-party Service Composition. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:207-222 [Conf]
  64. Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
    JOLIE: a Java Orchestration Language Interpreter Engine. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:19-33 [Journal]
  65. Mario Bravetti, Gianluigi Zavattaro
    Guest editor's introduction: Special issue on Web Services and Formal Methods. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:1-2 [Journal]
  66. Mario Bravetti, Gianluigi Zavattaro
    Service oriented computing from a process algebraic perspective. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2007, v:70, n:1, pp:3-14 [Journal]

  67. On the interplay between fault handling and request-response service invocations. [Citation Graph (, )][DBLP]


  68. The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. [Citation Graph (, )][DBLP]


  69. Termination Problems in Chemical Kinetics. [Citation Graph (, )][DBLP]


  70. Parameterized Verification of Ad Hoc Networks. [Citation Graph (, )][DBLP]


  71. Behavioural Contracts with Request-Response Operations. [Citation Graph (, )][DBLP]


  72. Dynamic Fault Handling Mechanisms for Service-Oriented Applications. [Citation Graph (, )][DBLP]


  73. Composing Services with JOLIE. [Citation Graph (, )][DBLP]


  74. On the Relationship between Spatial Logics and Behavioral Simulations. [Citation Graph (, )][DBLP]


  75. On the Expressiveness of Forwarding in Higher-Order Communication. [Citation Graph (, )][DBLP]


  76. Programming Sagas in SOCK. [Citation Graph (, )][DBLP]


  77. Bridging the Gap between Interaction- and Process-Oriented Choreographies. [Citation Graph (, )][DBLP]


  78. Contract-Based Discovery and Composition of Web Services. [Citation Graph (, )][DBLP]


  79. A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. [Citation Graph (, )][DBLP]


  80. Towards a Unifying Theory for Choreography Conformance and Contract Compliance. [Citation Graph (, )][DBLP]


  81. Contract-Driven Implementation of Choreographies. [Citation Graph (, )][DBLP]


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


  83. Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. [Citation Graph (, )][DBLP]


  84. Contract Compliance and Choreography Conformance in the Presence of Message Queues. [Citation Graph (, )][DBLP]


  85. On the Expressive Power of Process Interruption and Compensation. [Citation Graph (, )][DBLP]


  86. On the Computational Power of Biochemistry. [Citation Graph (, )][DBLP]


  87. Reachability Analysis in BioAmbients. [Citation Graph (, )][DBLP]


  88. From Biochemistry to Stochastic Processes. [Citation Graph (, )][DBLP]


Search in 0.039secs, Finished in 0.044secs
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