Searching for authors named Gianluigi Zavattaro – sorted by Relevance.
-
Towards a Hierarchy of Negative Test Operators for Generative Communication
- Gianluigi Zavattaro Dipartimento di Scienze dell'Informazione Universit`a di Bologna Bologna, Italy
- Cited by 8 (3 self) – Add To MetaCart
-
Some Thoughts on Transiently Shared Dataspaces
- as the analysis of aspects emerging in this new setting. Gianluigi Zavattaro Department of Computer Science
- Cited by 5 (1 self) – Add To MetaCart
-
A Process Algebraic Specification of the New Asynchronous CORBA Messaging Service
- and Gianluigi Zavattaro Department of Computer Science, University of Bologna Mura Anteo Zamboni 7, 40127
- Cited by 16 (1 self) – Add To MetaCart
-
Event Notification in Data-driven Coordination Languages: Comparing the Ordered and Unordered Interpretations
- Interpretations Nadia Busi and Gianluigi Zavattaro Dipartimento di Scienze dell'Informazione, Universita di
- Cited by 6 (2 self) – Add To MetaCart
-
Webπ at work
- webπ at work Cosimo Laneve Gianluigi Zavattaro Dipartimento di Scienze dell
- Cited by 1 (0 self) – Add To MetaCart
-
An Actor Algebra for Specifying Distributed Systems: the Hurried Philosophers Case Study
- Gaspari and Gianluigi Zavattaro Department of Computer Science, University of Bologna Mura Anteo Zamboni
- Cited by 6 (3 self) – Add To MetaCart
-
Towards a unifying theory for choreography conformance and contract compliance
- Gianluigi Zavattaro Department of Computer Science, University of Bologna, Italy Abstract. In the context
- Cited by 8 (0 self) – Add To MetaCart
-
Foundations of Web Transactions
- Foundations of web transactions Cosimo Laneve Gianluigi Zavattaro Department of Computer Science
- Cited by 27 (5 self) – Add To MetaCart
-
Service Oriented Computing from a Process Algebraic Perspective ⋆
- Service Oriented Computing from a Process Algebraic Perspective ⋆ Mario Bravetti Gianluigi
- Cited by 1 (0 self) – Add To MetaCart
-
A Theory for Strong Service Compliance ⋆
- A Theory for Strong Service Compliance ⋆ Mario Bravetti Gianluigi Zavattaro Department of Computer
- Cited by 2 (0 self) – Add To MetaCart

