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: 41.

Article

Bocchi, Laura (2017) Monitoring Networks through Multiparty Session Types. Theoretical Computer Science, 669 . pp. 33-58. ISSN 0304-3975. (doi:https://doi.org/10.1016/j.tcs.2017.02.009) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided)
[img]
Preview
[img]
Preview

Bocchi, Laura (2017) Timed Runtime Monitoring for Multiparty Conversations. Formal Aspects of Computing, . ISSN 0934-5043. E-ISSN 1433-299X. (doi:https://doi.org/10.1007/s00165-017-0420-8) (Full text available)
[img]
Preview

Bocchi, Laura and Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi:https://doi.org/10.1017/S0960129512000904) (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 Melgratti, Hernán (2014) On the Behaviour of General Purpose Applications on Cloud Storage. Service Oriented Computing and Applications, 9 (3). pp. 213-227. ISSN 1863-2386. E-ISSN 1863-2394. (doi:https://doi.org/10.1007/s11761-014-0165-7) (Full text available)
[img]
Preview

Bocchi, Laura and Mahmud, Hoger and Rebay-Salisbury, Katharina and Tuosto, Emilio (2013) Virtual models for archaeology. Archeologia e Calcolatori, 24 (1). pp. 305-324. ISSN 1120-6861. (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)

Brysbaert, Ann and Bocchi, Laura and Tuosto, Emilio (2012) Relating archaeological chaîne opératoire and process mining in computer science. Archeologia e Calcolatori, . pp. 165-186. ISSN 1120-6861. (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 Lange, Julien and Tuosto, Emilio (2012) Three Algorithms and a Methodology for Amending Contracts for Choreographies. Scientific Annals of Computer Science, 22 (1). pp. 61-104. ISSN 1843-8121. (doi:https://doi.org/10.7561/SACS.2012.1.61) (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)

Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4). pp. 433-463. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-010-0166-z) (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 Gorton, Stephen and Reiff-Marganiec, Stephan (2010) From StPowla processes to SRML models. Formal Aspects of Computing, 22 (3). pp. 243-268. ISSN 0934-5043. (doi:https://doi.org/10.1007/s00165-009-0118-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)

Bocchi, Laura and Fiadeiro, José Luiz and Lapadula, Alessandro and Pugliese, Rosario and Tiezzi, Francesco (2009) From Architectural to Behavioural Specification of Services. Electronic Notes in Theoretical Computer Science, 253 (1). pp. 3-21. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2009.09.025) (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 (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)

Bocchi, Laura and Wischik, Lucian (2004) A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105 . pp. 119-132. ISSN 1571-0661. (doi:https://doi.org/10.1016/j.entcs.2004.05.003) (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 Murgia, Maurizio and Vasconcelos, Vasco Thudichum and Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: 28th European Symposium on Programming (ESOP). (In press) (Full text available)
[img]
Preview

Bartoletti, Massimo and Bocchi, Laura and Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: Leibniz International Proceedings in Informatics. LIPIcs–Leibniz International Proceedings in Informatics. LIPICS ISBN 978-3-95977-087-3. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2018.40) (Full text available)
[img]
Preview

Bocchi, Laura and Yoshida, Nobuko and Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. International Conference on Concurrency Theory (CONCUR). LIPIcs, 42. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik pp. 283-296. ISBN 978-3-939897-91-0. (doi:https://doi.org/10.4230/LIPIcs.CONCUR.2015.283) (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán (2014) On the Behaviour of General-Purpose Applications on Cloud Storages. In: 11th International Workshop on Web Services and Formal Methods (WSFM). 11th International Workshop on Web Services and Formal Methods (WS-FM). Lecture Notes in Computer Science. Springer pp. 29-47. (doi:https://doi.org/10.1007/978-3-319-08260-8_3) (Full text available)
[img]
Preview

Bocchi, Laura and Melgratti, Hernán and Tuosto, Emilio (2014) Resolving Non-Determinism in Choreographies. In: Programming Languages and Systems: European Symposium on Programming (ESOP). European Symposium on Programming (ESOP). Lecture Notes in Computer Science, 8410. Springer pp. 493-512. (doi:https://doi.org/10.1007/978-3-642-54833-8_26) (Full text available)
[img]
Preview

Bocchi, Laura and Yang, Weizhen and Yoshida, Nobuko (2014) Timed Multiparty Session Types. In: Baldan, Paolo and Gorla, Daniele, eds. International Conference on Concurrency Theory (CONCUR). Lecture Notes in Computer Science. Springer pp. 419-434. (doi:https://doi.org/10.1007/978-3-662-44584-6_29) (Full text available)
[img]
Preview

Neykova, Rumyana and Bocchi, Laura and Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: 3rd International Workshop on Behavioural Types (BEAT), 1st September, 2014, Rome, Italy. (doi:https://doi.org/10.4204/EPTCS.162.3) (Full text available)
[img]
Preview

Bocchi, Laura and Demangeon, Romain (2013) Embedding Session Types in HML. In: Electronic Proceedings in Theoretical Computer Science. pp. 53-62. (doi:https://doi.org/10.4204/EPTCS.137.5) (Full text available)
[img]
Preview

Bocchi, Laura and Chen, Tzu-Chun and Demangeon, Romain and Honda, Kohei and Yoshida, Nobuko (2013) Monitoring Networks through Multiparty Session Types. In: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE), June 3-6, 2013, Florence, Italy. (doi:https://doi.org/10.1007/978-3-642-38592-6_5) (Full text available)
[img]
Preview

Chen, Tzu-Chun and Bocchi, Laura and Deniélou, Pierre-Malo and Honda, Kohei and Yoshida, Nobuko (2012) Asynchronous Distributed Monitoring for Multiparty Session Enforcement. In: 6th International Symposium, TGC 2011, Aachen, Germany, June 9-10, 2011. Revised Selected Papers. Lecture Notes in Computer Science, 7173. Springer pp. 25-45. ISBN 978-3-642-30064-6. E-ISBN 978-3-642-30065-3. (doi:https://doi.org/10.1007/978-3-642-30065-3_2) (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 Lange, Julien and Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. pp. 111-129. (doi:https://doi.org/10.4204/EPTCS.59.10) (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)

Azmat, Freeha and Bocchi, Laura and Fiadeiro, José Luiz (2011) Early Model-Analysis of Logistics Systems. In: Service-Oriented Computing. ICSOC 2010 International Workshops, PAASC, WESOA, SEE, and SOC-LOG. Lecture Notes in Computer Science, 6568. Springer pp. 225-236. ISBN 978-3-642-19393-4. E-ISBN 978-3-642-19394-1. (doi:https://doi.org/10.1007/978-3-642-19394-1_25) (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 Guanciale, Roberto and Strollo, Daniele and Tuosto, Emilio (2010) BPMN Modelling of Services with Dynamically Reconfigurable Transactions. In: 8th International Conference on Service-Oriented Computing (ICSOC). 8th International Conference on Service-Oriented Computing (ICSOC). Lecture Notes in Computer Science, 6470. Springer pp. 396-410. ISBN 978-3-642-17357-8. E-ISBN 978-3-642-17358-5. (doi:https://doi.org/10.1007/978-3-642-17358-5_27) (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 Tuosto, Emilio (2010) A Java Inspired Semantics for Transactions in SOC. In: 5th International Symposium on Trustworthy Global Computing (TGC). Lecture Notes in Computer Science, 6084. Springer pp. 120-134. ISBN 978-3-642-15639-7. E-ISBN 978-3-642-15640-3. (doi:https://doi.org/10.1007/978-3-642-15640-3_9) (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 Fiadeiro, José and Rajper, Noor and Reiff-Marganiec, Stephan (2010) Structure and Behaviour of Virtual Organisation Breeding Environments. In: Electronic Proceedings in Theoretical Computer Science. pp. 26-40. (doi:https://doi.org/10.4204/EPTCS.16.3) (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 Tuosto, Emilio (2010) Testing Attribute-Based Transactions in SOC. In: International Conference on Formal Techniques for Distributed Systems (FORTE). Lecture Notes in Computer Science, 6117. Springer pp. 87-94. (doi:https://doi.org/10.1007/978-3-642-13464-7_8) (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 Honda, Kohei and Tuosto, Emilio and Yoshida, Nobuko (2010) A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: 21th International Conference on Concurrency Theory (CONCUR). 21th International Conference on Concurrency Theory (CONCUR). Lecture Notes in Computer Science, 6269. Springer pp. 162-176. (doi:https://doi.org/10.1007/978-3-642-15375-4_12) (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 Gorton, Stephen and Reiff-Marganiec, Stephan (2008) Engineering Service Oriented Applications: From StPowla Processes to SRML Models. In: Fundamental Approaches to Software Engineering. 11th International Conference, FASE 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings. Lecture Notes in Computer Science, 4961. Springer pp. 163-178. ISBN 978-3-540-78742-6. E-ISBN 978-3-540-78743-3. (doi:https://doi.org/10.1007/978-3-540-78743-3_13) (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 Hong, Yi and Lopes, Antónia and Fiadeiro, José Luiz (2008) From BPEL to SRML: A Formal Transformational Approach. In: Web Services and Formal Methods. 4th International Workshop, WS-FM 2007 Proceedings. Lecture Notes in Computer Science, 4937. Springer pp. 92-107. ISBN 978-3-540-79229-1. E-ISBN 978-3-540-79230-7. (doi:https://doi.org/10.1007/978-3-540-79230-7_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)

Bocchi, Laura and Fiadeiro, José Luiz and Lopes, Antónia (2008) Service-Oriented Modelling of Automotive Systems. In: Computer Software and Applications, 2008. COMPSAC '08. 32nd Annual IEEE International. IEEE Computer Society pp. 1059-1064. ISBN 978-0-7695-3262-2. (doi:https://doi.org/10.1109/COMPSAC.2008.228) (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)

Abreu, João and Bocchi, Laura and Fiadeiro, José Luiz and Lopes, Antónia (2007) Specifying and Composing Interaction Protocols for Service-Oriented System Modelling. In: Formal Techniques for Networked and Distributed Systems – FORTE 2007. 27th IFIP WG 6.1 International Conference, Tallinn, Estonia, June 27-29, 2007. Proceedings. Lecture Notes in Computer Science, 4574. Springer pp. 358-373. ISBN 978-3-540-73195-5. E-ISBN 978-3-540-73196-2. (doi:https://doi.org/10.1007/978-3-540-73196-2_23) (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 Lucchi, Roberto (2006) Atomic Commit and Negotiation in Service Oriented Computing. In: Coordination Models and Languages. 8th International Conference, COORDINATION 2006, Proceedings. Lecture Notes in Computer Science, 4038. Springer pp. 16-27. ISBN 978-3-540-34694-4. E-ISBN 978-3-540-34695-1. (doi:https://doi.org/10.1007/11767954_2) (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)

Fiadeiro, José Luiz and Lopes, Antónia and Bocchi, Laura (2006) A Formal Approach to Service Component Architecture. In: Web Services and Formal Methods. Third International Workshop, WS-FM 2006 Proceedings. Lecture Notes in Computer Science, 4184. Springer pp. 193-213. ISBN 978-3-540-38862-3. E-ISBN 978-3-540-38865-4. (doi:https://doi.org/10.1007/11841197_13) (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 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)

Bocchi, Laura (2004) Compositional Nested Long Running Transactions. In: Fundamental Approaches to Software Engineering. 7th International Conference, FASE 2004. Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004. Proceedings. Lecture Notes in Computer Science, 2984. Springer pp. 194-208. ISBN 978-3-540-21305-5. E-ISBN 978-3-540-24721-0. (doi:https://doi.org/10.1007/978-3-540-24721-0_14) (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 Laneve, Cosimo and Zavattaro, Gianluigi (2003) A Calculus for Long-Running Transactions. In: 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003. Proceedings. Lecture Notes in Computer Science, 2884. Springer pp. 124-138. ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi:https://doi.org/10.1007/978-3-540-39958-2_9) (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 Sun May 12 04:07:43 2019 BST.