Skip to main content
Kent Academic Repository

Browse by Person (creator, editor, contributor, etc.)

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 6.

Article

Bocchi, Laura and Ciancarini, Paolo (2006) On the Impact of Formal Methods in the SOA. Electronic Notes in Theoretical Computer Science, 160 . pp. 113-126. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2006.05.018) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Book section

Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina (2007) On the Impact of AOSE in Service-Oriented Computing. In: Emerging Methods, Technologies, and Process Management in Software Engineering. Wiley-IEEE Computer Society, pp. 69-83. (doi:https://doi.org/10.1002/9780470238103.ch4) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Ciancarini, Paolo (2003) A Perspective on Multiagent Coordination Models. In: Communication in Multiagent Systems. Springer, pp. 146-163. ISBN 978-3-540-40385-2. E-ISBN 978-3-540-44972-0. (doi:https://doi.org/10.1007/978-3-540-44972-0_7) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Conference or workshop item

Bocchi, Laura and Ciancarini, Paolo and Moretti, Rocco and Presutti, Valentina and Rossi, Davide (2005) An OWL-S based approach to express grid services coordination. In: Proceedings of the 2005 ACM symposium on Applied computing. ACM pp. 1661-1667. ISBN 1-58113-964-0. (doi:https://doi.org/10.1145/1066677.1067054) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bocchi, Laura and Ciancarini, Paolo and Rossi, Davide (2005) Transactional Aspects in Semantic Based Discovery of Services. In: Coordination Models and Languages. 7th International Conference, COORDINATION 2005 Proceedings. Lecture Notes in Computer Science, 3454. Springer pp. 283-297. ISBN 978-3-540-25630-4. E-ISBN 978-3-540-32006-7. (doi:https://doi.org/10.1007/11417019_19) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

Bowman, Howard and Derrick, John (1999) A Junction between State Based and Behavioural Specification. In: Ciancarini, Paolo and Fantechi, Alessandro and Gorrieri, Robert, eds. Formal Methods for Open Object-based Distributed Systems. Kluwer pp. 213-239. ISBN 0-7923-8429-6. (doi:https://doi.org/10.1007/978-0-387-35562-7_18) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

This list was generated on Tue Apr 9 09:45:40 2019 BST.