Gianluigi Zavattaro Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Luca Padovani, Gianluigi Zavattaro: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures Springer 2009
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: CONCUR 2009 - Concurrency Theory, 20th International Conference, CONCUR 2009, Bologna, Italy, September 1-4, 2009. Proceedings Springer 2009
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGiorgio Delzanno, Cinzia Di Giusto, Maurizio Gabbrielli, Cosimo Laneve, Gianluigi Zavattaro: The kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. CMSB 2009: 158-172
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCinzia Di Giusto, Jorge A. Pérez, Gianluigi Zavattaro: On the Expressiveness of Forwarding in Higher-Order Communication. ICTAC 2009: 155-169
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Contract-Based Discovery and Composition of Web Services. SFM 2009: 261-295
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluigi Zavattaro: Reachability Analysis in BioAmbients. Electr. Notes Theor. Comput. Sci. 227: 179-193 (2009)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: On the expressive power of process interruption and compensation. Mathematical Structures in Computer Science 19(3): 565-599 (2009)
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: A theory of contracts for strong service compliance. Mathematical Structures in Computer Science 19(3): 601-638 (2009)
2008
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro: Formal Methods for Computational Systems Biology, 8th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2008, Bertinoro, Italy, June 2-7, 2008, Advanced Lectures Springer 2008
86no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDoug Lea, Gianluigi Zavattaro: Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings Springer 2008
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Cardelli, Gianluigi Zavattaro: On the Computational Power of Biochemistry. AB 2008: 65-80
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Guidi, Ivan Lanese, Fabrizio Montesi, Gianluigi Zavattaro: On the interplay between fault handling and request-response service invocations. ACSD 2008: 190-198
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluigi Zavattaro, Luca Cardelli: Termination Problems in Chemical Kinetics. CONCUR 2008: 477-491
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Lanese, Claudio Guidi, Fabrizio Montesi, Gianluigi Zavattaro: Bridging the Gap between Interaction- and Process-Oriented Choreographies. SEFM 2008: 323-332
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluigi Zavattaro: A Gentle Introduction to Stochastic (Poly)Automata Collectives and the (Bio)Chemical Ground Form. SFM 2008: 507-523
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Ivan Lanese, Gianluigi Zavattaro: Contract-Driven Implementation of Choreographies. TGC 2008: 1-18
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Diego Latella, Michele Loreti, Mieke Massink, Gianluigi Zavattaro: Combining Timed Coordination Primitives and Probabilistic Tuple Spaces. TGC 2008: 52-68
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: On the Expressive Power of Process Interruption and Compensation. WS-FM 2008: 1-18
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Contract Compliance and Choreography Conformance in the Presence of Message Queues. WS-FM 2008: 37-54
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: A Foundational Theory of Contracts for Multi-party Service Composition. Fundam. Inform. 89(4): 451-478 (2008)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: A process algebraic view of shared dataspace coordination. J. Log. Algebr. Program. 75(1): 52-85 (2008)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: nanoK: A calculus for the modeling and simulation of nano devices. Theor. Comput. Sci. 408(1): 17-30 (2008)
2007
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlberto Credi, Marco Garavelli, Cosimo Laneve, Sylvain Pradalier, Serena Silvi, Gianluigi Zavattaro: Modelization and Simulation of Nano Devices in $\mathtt{nano}\kappa$ Calculus. CMSB 2007: 168-183
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: A Theory for Strong Service Compliance. COORDINATION 2007: 96-112
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Montesi, Claudio Guidi, Gianluigi Zavattaro: Composing Services with JOLIE. ECOWS 2007: 13-22
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Contract Based Multi-party Service Composition. FSEN 2007: 207-222
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Towards a Unifying Theory for Choreography Conformance and Contract Compliance. Software Composition 2007: 34-50
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: JOLIE: a Java Orchestration Language Interpreter Engine. Electr. Notes Theor. Comput. Sci. 181: 19-33 (2007)
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Guest editor's introduction: Special issue on Web Services and Formal Methods. J. Log. Algebr. Program. 70(1): 1-2 (2007)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Service oriented computing from a process algebraic perspective. J. Log. Algebr. Program. 70(1): 3-14 (2007)
2006
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Manuel Núñez, Gianluigi Zavattaro: Web Services and Formal Methods, Third International Workshop, WS-FM 2006 Vienna, Austria, September 8-9, 2006, Proceedings Springer 2006
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration Conformance for System Design. COORDINATION 2006: 63-81
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Guidi, Roberto Lucchi, Roberto Gorrieri, Nadia Busi, Gianluigi Zavattaro: : A Calculus for Service Oriented Computing. ICSOC 2006: 327-338
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Wirsing, Rocco De Nicola, Stephen Gilmore, Matthias M. Hölzl, Roberto Lucchi, Mirco Tribastone, Gianluigi Zavattaro: SensoriaProcess Calculi for Service-Oriented Computing. TGC 2006: 30-50
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichele 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. WS-FM 2006: 38-57
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Service Oriented Computing: A New Challenge for Process Algebras. Electr. Notes Theor. Comput. Sci. 162: 121-125 (2006)
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: A Process Algebraic View of Coordination. Electr. Notes Theor. Comput. Sci. 162: 141-145 (2006)
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Supporting Secure Coordination in SecSpaces. Fundam. Inform. 73(4): 479-506 (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Gianluigi Zavattaro: Guest editor's introduction: Special issue on security issues in coordination models, languages, and systems. Sci. Comput. Program. 63(1): 1-2 (2006)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Roberto Lucchi, Gianluigi Zavattaro: Secure shared data-space coordination languages: A process algebraic survey. Sci. Comput. Program. 63(1): 3-15 (2006)
2005
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMartin Steffen, Gianluigi Zavattaro: Formal Methods for Open Object-Based Distributed Systems, 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005, Proceedings Springer 2005
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Leïla Kloul, Gianluigi Zavattaro: Formal Techniques for Computer Systems and Business Processes, European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web Services and Formal Methods, WS-FM 2005, Versailles, France, September 1-3, 2005, Proceedings Springer 2005
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Prioritized and Parallel Reactions in Shared Data Space Coordination Languages. COORDINATION 2005: 204-219
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Deciding Reachability in Mobile Ambients. ESOP 2005: 248-262
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Gianluigi Zavattaro: Foundations of Web Transactions. FoSSaCS 2005: 282-298
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Choreography and Orchestration: A Synergic Approach for System Design. ICSOC 2005: 228-240
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Reachability Analysis in Boxed Ambients. ICTCS 2005: 143-159
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Supporting e-commerce systems formalization with choreography languages. SAC 2005: 831-835
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCosimo Laneve, Gianluigi Zavattaro: web-pi at Work. TGC 2005: 182-194
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro: Towards a formal framework for Choreography. WETICE 2005: 107-112
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 128(5): 1-2 (2005)
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: On the Expressiveness of Probabilistic and Prioritized Data-retrieval in Linda. Electr. Notes Theor. Comput. Sci. 128(5): 39-53 (2005)
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Quantitative information in the tuple space coordination model. Theor. Comput. Sci. 346(1): 28-57 (2005)
2004
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSirio Capizzi, Riccardo Solmi, Gianluigi Zavattaro: From Endogenous to Exogenous Coordination Using Aspect-Oriented Programming. COORDINATION 2004: 105-118
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Probabilistic and Prioritized Data Retrieval in the Linda Coordination Model. COORDINATION 2004: 55-70
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Nadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Security Issues in the Tuple-Space Coordination Model. Formal Aspects in Security and Trust 2004: 1-12
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparing Recursion, Replication, and Iteration in Process Calculi. ICALP 2004: 307-319
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRoberto Lucchi, Gianluigi Zavattaro: WSSecSpaces: a secure data-driven coordination service for Web Services applications. SAC 2004: 487-491
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Lucchi, Gianluigi Zavattaro, Roberto Gorrieri: Web Services for E-commerce: guaranteeing security access and quality of service. SAC 2004: 800-806
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 105: 1-4 (2004)
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Bravetti, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: Combining Partitions in SecSpaces. Electr. Notes Theor. Comput. Sci. 99: 31-47 (2004)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Alberto Montresor, Gianluigi Zavattaro: Data-Driven Coordination In Peer-To-Peer Information Systems. Int. J. Cooperative Inf. Syst. 13(1): 63-89 (2004)
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: On the expressive power of movement and restriction in pure mobile ambients. Theor. Comput. Sci. 322(3): 477-515 (2004)
2003
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLaura Bocchi, Cosimo Laneve, Gianluigi Zavattaro: A Calculus for Long-Running Transactions. FMOODS 2003: 124-138
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Replication vs. Recursive Definitions in Channel Based Calculi. ICALP 2003: 133-144
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: PeerSpaces: Data-driven Coordination in Peer-to-Peer Networks. SAC 2003: 380-386
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Roberto Lucchi, Gianluigi Zavattaro: SecSpaces: a Data-driven Coordination Model for Environments Open to Untrusted Agents. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Focardi, Gianluigi Zavattaro: Preface. Electr. Notes Theor. Comput. Sci. 85(3): (2003)
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing coordination models and architectures using embeddings. Sci. Comput. Program. 46(1-2): 31-69 (2003)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Expired data collection in shared dataspaces. Theor. Comput. Sci. 3(298): 529-556 (2003)
2002
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Antony I. T. Rowstron, Gianluigi Zavattaro: State- and Event-Based Reactive Programming in Shared Dataspaces. COORDINATION 2002: 111-124
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Cristian Manfredini, Alberto Montresor, Gianluigi Zavattaro: Towards a Data-Driven Coordination Infrastructure for Peer-to-Peer Systems. NETWORKING Workshops 2002: 295-299
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: On the serializability of transactions in shared dataspaces with temporary data. SAC 2002: 359-366
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: On the Expressiveness of Movement in Pure Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
2001
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Gianluigi Zavattaro: An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study. Concurrent Object-Oriented Programming and Petri Nets 2001: 428-444
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Temporary Data in Shared Dataspace Coordination Languages. FoSSaCS 2001: 121-136
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Publish/Subscribe vs. Shared Dataspace Coordination Infrastructures: Is It Just a Matter of Taste?. WETICE 2001: 328-333
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Paolo Ciancarini, Roberto Gorrieri, Gianluigi Zavattaro: Coordination Models: A Guided Tour. Coordination of Internet Agents: Models, Technologies, and Applications 2001: 6-24
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: On the Serializability of Transactions in JavaSpaces. Electr. Notes Theor. Comput. Sci. 54: (2001)
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio Brogi, Nadia Busi, Maurizio Gabbrielli, Gianluigi Zavattaro: Comparative analysis of the expressiveness of shared dataspace coordination. Electr. Notes Theor. Comput. Sci. 62: (2001)
2000
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Process Calculi for Coordination: From Linda to JavaSpaces. AMAST 2000: 198-212
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: On the Expressiveness of Event Notification in Data-Driven Coordination Languages. ESOP 2000: 41-55
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Semantics of JavaSpaces. FMOODS 2000: 3-
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Gianluigi Zavattaro: Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations. SAC (1) 2000: 233-239
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Expressiveness of Linda Coordination Primitives. Inf. Comput. 156(1-2): 90-121 (2000)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello 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. Theor. Comput. Sci. 240(1): 3-47 (2000)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Comparing three semantics for Linda-like languages. Theor. Comput. Sci. 240(1): 49-90 (2000)
1999
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank S. de Boer, Gianluigi Zavattaro: Generic Process Algebras for Asynchronous Communication. CONCUR 1999: 226-241
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcello M. Bonsangue, Joost N. Kok, Gianluigi Zavattaro: Comparing Software Architectures for Coordination Languages. COORDINATION 1999: 150-165
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Gianluigi Zavattaro: Process Algebraic Specification of the New Asynchronous CORBA Messaging Service. ECOOP 1999: 495-518
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMauro Gaspari, Gianluigi Zavattaro: An Algebra of Actors. FMOODS 1999
1998
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluigi Zavattaro: Towards a Hierarchy of Negative Test Operators for Generative Communication. Electr. Notes Theor. Comput. Sci. 16(2): (1998)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: A Process Algebraic View of Linda Coordination Primitives. Theor. Comput. Sci. 192(2): 167-199 (1998)
1997
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: Three Semantics of the Output Operation for Generative Communication. COORDINATION 1997: 205-219
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNadia Busi, Roberto Gorrieri, Gianluigi Zavattaro: On the Turing equivalence of Linda coordination primitives. Electr. Notes Theor. Comput. Sci. 7: (1997)

Coauthor Index

1Farhad Arbab [10]
2J. W. de Bakker (Jaco de Bakker) [10]
3Marco Bernardo [87] [95]
4Laura Bocchi [32]
5Frank S. de Boer [8]
6Marcello M. Bonsangue [7] [10] [27]
7Michele Boreale [61]
8Mario Bravetti [35] [36] [37] [40] [41] [43] [44] [48] [54] [60] [65] [66] [67] [69] [70] [72] [76] [77] [78] [79] [80] [88] [89] [91] [94]
9Antonio Brogi [16]
10Roberto Bruni [61]
11Nadia Busi [1] [2] [3] [9] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [22] [23] [24] [25] [26] [29] [30] [31] [33] [34] [39] [40] [46] [49] [50] [52] [53] [59] [63] [64] [75]
12Luís Caires [61]
13Sirio Capizzi [42]
14Luca Cardelli [83] [85]
15Paolo Ciancarini [18]
16Alberto Credi [73] [74]
17Pierpaolo Degano [87]
18Giorgio Delzanno [93]
19Riccardo Focardi [28] [45] [56] [57]
20Maurizio Gabbrielli [16] [31] [39] [93]
21Marco Garavelli [73] [74]
22Mauro Gaspari [5] [6] [21]
23Stephen Gilmore (Stephen T. Gilmore) [62]
24Cinzia Di Giusto [92] [93]
25Roberto Gorrieri [1] [2] [3] [9] [11] [13] [15] [18] [20] [29] [35] [37] [40] [41] [43] [44] [46] [50] [58] [63] [64]
26Claudio Guidi [46] [48] [50] [63] [64] [68] [71] [82] [84]
27Matthias M. Hölzl [62]
28Leïla Kloul [54]
29Joost N. Kok [7] [27]
30Ivan Lanese [61] [80] [82] [84]
31Cosimo Laneve [32] [47] [51] [73] [74] [93]
32Diego Latella [79]
33Doug Lea [86]
34Michele Loreti [61] [79]
35Roberto Lucchi [29] [35] [37] [38] [40] [41] [43] [44] [46] [48] [50] [56] [58] [62] [63] [64] [68]
36Cristian Manfredini [24] [30]
37Francisco Martins [61]
38Mieke Massink [79]
39Ugo Montanari [61]
40Fabrizio Montesi [68] [71] [82] [84]
41Alberto Montresor [24] [30] [34]
42Rocco De Nicola [61] [62]
43Manuel Núñez [65]
44Luca Padovani [95]
45Jorge A. Pérez (Jorge Andrés Pérez) [92]
46Sylvain Pradalier [73] [74]
47António Ravara [61]
48Antony I. T. Rowstron [25]
49Jan J. M. M. Rutten [10]
50Davide Sangiorgi [61]
51A. Secutella [10]
52Serena Silvi [73] [74]
53Riccardo Solmi [42]
54Martin Steffen [55]
55Mirco Tribastone [62]
56Vasco Thudichum Vasconcelos [61]
57Martin Wirsing [62]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Complete | Author
Copyright © Sat Nov 7 19:26:18 2009 by Michael Ley (ley@uni-trier.de)