Skip to main content
Kent Academic Repository

Items where Author, Editor or other role is "Bocchi, Laura"

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: 2023 | 2022 | 2020 | 2019 | 2018 | 2017 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007 | 2006 | 2005 | 2004 | 2003
Number of items: 45.

2023

Bocchi, Laura and King, Andy and Murgia, Maurizio (2023) Asynchronous Subtyping by Trace Relaxation. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. Lecture notes in computer science, 14570 . Springer, pp. 207-226. (In press) (doi:10.1007/978-3-031-57246-3_12) (Access to this publication is currently restricted. You may be able to access a copy if URLs are provided) (KAR id:105395)
Format: PDF

2022

Bocchi, Laura, Orchard, Dominic A., Voinea, Laura (2022) A Theory of Composing Protocols. The Art, Science, and Engineering of Programming, 7 (2). Article Number 6. ISSN 2473-7321. (doi:10.22152/programming-journal.org/2023/7/6) (KAR id:98303)
Format: PDF Format: PDF

Bocchi, Laura, Lanese, Ivan, Mezzina, Claudio Antares, Yuen, Shoji (2022) The Reversible Temporal Process Language. In: Mousavi, Mohammad Reza and Philippou, Anna, eds. Formal Techniques for Distributed Objects, Components, and Systems. 42nd IFIP WG 6.1 International Conference, FORTE 2022. Lecture Notes in Computer Science . Springer ISBN 978-3-031-08678-6. (doi:10.1007/978-3-031-08679-3_3) (KAR id:98302)
Format: PDF

Bocchi, Laura, Lange, Julien, Thompson, Simon, Voinea, Laura (2022) A Model of Actors and Grey Failures. In: ter Beek, Maurice H. and Sirjani, Marjan, eds. Coordination Models and Languages. 24th IFIP WG 6.1 International Conference, COORDINATION 2022. Lecture Notes in Computer Science . Springer ISBN 978-3-031-08145-3. (doi:10.1007/978-3-031-08143-9_9) (KAR id:98300)
Format: PDF

2020

Bocchi, Laura, Melgratti, Hernán, Tuosto, Emilio (2020) On Resolving Non-determinism in Choreographies. Logical Methods in Computer Science, 16 (3). 18:1-18:69. ISSN 1860-5974. (KAR id:83104)
Format: PDF

2019

Bocchi, Laura, Murgia, Maurizio, Vasconcelos, Vasco Thudichum, Yoshida, Nobuko (2019) Asynchronous timed session types: from duality to time-sensitive processes. In: Lecture Notes in Computer Science. Programming Languages and Systems. ESOP 2019. 11423. pp. 583-610. Springer ISBN 978-3-030-17183-4. E-ISBN 978-3-030-17184-1. (doi:10.1007/978-3-030-17184-1_21) (KAR id:72337)
Format: PDF Format: PDF

2018

Bartoletti, Massimo, Bocchi, Laura, Murgia, Massimo (2018) Progress-preserving Refinements of CTA. In: Leibniz International Proceedings in Informatics. LIPIcs–Leibniz International Proceedings in Informatics. Leibniz International Proceedings in Informatics (LIPIcs) . pp. 1-19. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, Saarbrücken, Germany ISBN 978-3-95977-087-3. (doi:10.4230/LIPIcs.CONCUR.2018.40) (KAR id:67556)
Format: PDF

2017

Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, Yoshida, Nobuko (2017) Monitoring Networks through Multiparty Session Types. Theoretical Computer Science, 669 . pp. 33-58. ISSN 0304-3975. (doi:10.1016/j.tcs.2017.02.009) (KAR id:60279)
Format: PDF Format: PDF

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2017) Timed Runtime Monitoring for Multiparty Conversations. Formal Aspects of Computing, 29 (5). pp. 877-910. ISSN 0934-5043. E-ISSN 1433-299X. (doi:10.1007/s00165-017-0420-8) (KAR id:60506)
Format: PDF

2015

Bocchi, Laura, Tuosto, Emilio (2015) Attribute-based transactions in service oriented computing. Mathematical Structures in Computer Science, 25 (3). pp. 619-665. ISSN 0960-1295. (doi: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) (KAR id:44574)

Bocchi, Laura, Yoshida, Nobuko, Lange, Julien (2015) Meeting Deadlines Together. In: Aceto, Luca and de Frutos-Escrig, David, eds. International Conference on Concurrency Theory (CONCUR). Leibniz International Proceedings in Informatics . pp. 283-296. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik ISBN 978-3-939897-91-0. (doi:10.4230/LIPIcs.CONCUR.2015.283) (KAR id:50257)
Format: PDF

2014

Bocchi, Laura, 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:10.1007/s11761-014-0165-7) (KAR id:43735)
Format: PDF

Bocchi, Laura, 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 . pp. 29-47. Springer, Cham, Switzerland ISBN 978-3-319-08259-2. E-ISBN 978-3-319-08260-8. (doi:10.1007/978-3-319-08260-8_3) (KAR id:43738)
Format: PDF

Bocchi, Laura, Melgratti, Hernán, 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 . pp. 493-512. Springer, Berlin, Germany ISBN 978-3-642-54832-1. E-ISBN 978-3-642-54833-8. (doi:10.1007/978-3-642-54833-8_26) (KAR id:43733)
Format: PDF

Bocchi, Laura, Yang, Weizhen, 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 . pp. 419-434. Springer, Berlin, Germany ISBN 978-3-662-44583-9. E-ISBN 978-3-662-44584-6. (doi:10.1007/978-3-662-44584-6_29) (KAR id:43729)
Format: PDF

Neykova, Rumyana, Bocchi, Laura, Yoshida, Nobuko (2014) Timed Runtime Monitoring for Multiparty Conversations. In: Proceedings Third Workshop on Behavioural Types. Electronic Proceedings in Theoretical Computer Science . pp. 19-26. (doi:10.4204/EPTCS.162.3) (KAR id:43736)
Format: PDF

2013

Bocchi, Laura, Demangeon, Romain (2013) Embedding Session Types in HML. In: Electronic Proceedings in Theoretical Computer Science. 137 (1). pp. 53-62. (doi:10.4204/EPTCS.137.5) (KAR id:43739)
Format: PDF

Bocchi, Laura, Chen, Tzu-Chun, Demangeon, Romain, Honda, Kohei, 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:10.1007/978-3-642-38592-6_5) (KAR id:43737)
Format: PDF

Bocchi, Laura, Mahmud, Hoger, Rebay-Salisbury, Katharina, 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) (KAR id:44578)

2012

Chen, Tzu-Chun, Bocchi, Laura, Deniélou, Pierre-Malo, Honda, Kohei, 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. pp. 25-45. Springer ISBN 978-3-642-30064-6. E-ISBN 978-3-642-30065-3. (doi: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) (KAR id:59210)

Brysbaert, Ann, Bocchi, Laura, 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) (KAR id:59219)

2011

Bocchi, Laura, Lange, Julien, Tuosto, E. (2011) Amending Contracts for Choreographies. In: Electronic Proceedings in Theoretical Computer Science. Proceedings Fourth Interaction and Concurrency Experience. 59. pp. 111-129. (doi: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) (KAR id:62260)

Azmat, Freeha, Bocchi, Laura, 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. pp. 225-236. Springer ISBN 978-3-642-19393-4. E-ISBN 978-3-642-19394-1. (doi: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) (KAR id:59196)

Fiadeiro, José Luiz, Lopes, Antónia, Bocchi, Laura (2011) An abstract model of service discovery and binding. Formal Aspects of Computing, 23 (4). pp. 433-463. ISSN 0934-5043. (doi: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) (KAR id:59160)

2010

Bocchi, Laura, Guanciale, Roberto, Strollo, Daniele, 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. pp. 396-410. Springer ISBN 978-3-642-17357-8. E-ISBN 978-3-642-17358-5. (doi: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) (KAR id:59195)

Bocchi, Laura, Gorton, Stephen, Reiff-Marganiec, Stephan (2010) From StPowla processes to SRML models. Formal Aspects of Computing, 22 (3). pp. 243-268. ISSN 0934-5043. (doi: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) (KAR id:59158)

Bocchi, Laura, 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. pp. 120-134. Springer ISBN 978-3-642-15639-7. E-ISBN 978-3-642-15640-3. (doi: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) (KAR id:59192)

Bocchi, Laura, Fiadeiro, José, Rajper, Noor, Reiff-Marganiec, Stephan (2010) Structure and Behaviour of Virtual Organisation Breeding Environments. In: Electronic Proceedings in Theoretical Computer Science. 16. pp. 26-40. (doi: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) (KAR id:59191)

Bocchi, Laura, 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. pp. 87-94. Springer (doi: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) (KAR id:59194)

Bocchi, Laura, Honda, Kohei, Tuosto, Emilio, 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. pp. 162-176. Springer (doi: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) (KAR id:59208)

2009

Bocchi, Laura, Fiadeiro, José Luiz, Lapadula, Alessandro, Pugliese, Rosario, 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: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) (KAR id:59190)

2008

Bocchi, Laura, Gorton, Stephen, 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 . pp. 163-178. Springer, Berlin, Germany ISBN 978-3-540-78742-6. E-ISBN 978-3-540-78743-3. (doi: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) (KAR id:59186)

Bocchi, Laura, Hong, Yi, Lopes, Antónia, 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 . pp. 92-107. Springer, Berlin, Germany ISBN 978-3-540-79229-1. E-ISBN 978-3-540-79230-7. (doi: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) (KAR id:59185)

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

2007

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: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) (KAR id:59189)

Abreu, João, Bocchi, Laura, Fiadeiro, José Luiz, 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. pp. 358-373. Springer ISBN 978-3-540-73195-5. E-ISBN 978-3-540-73196-2. (doi: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) (KAR id:59184)

2006

Bocchi, Laura, 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: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) (KAR id:59182)

Bocchi, Laura, 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. pp. 16-27. Springer ISBN 978-3-540-34694-4. E-ISBN 978-3-540-34695-1. (doi: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) (KAR id:59181)

Fiadeiro, José Luiz, Lopes, Antónia, 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. pp. 193-213. Springer ISBN 978-3-540-38862-3. E-ISBN 978-3-540-38865-4. (doi: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) (KAR id:59183)

2005

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, New York, USA, pp. 1661-1667. ISBN 1-58113-964-0. (doi: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) (KAR id:59179)

Bocchi, Laura, Ciancarini, Paolo, 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. pp. 283-297. Springer ISBN 978-3-540-25630-4. E-ISBN 978-3-540-32006-7. (doi: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) (KAR id:59180)

2004

Bocchi, Laura, Wischik, Lucian (2004) A Process Calculus of Atomic Commit. Electronic Notes in Theoretical Computer Science, 105 . pp. 119-132. ISSN 1571-0661. (doi: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) (KAR id:59178)

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. pp. 194-208. Springer ISBN 978-3-540-21305-5. E-ISBN 978-3-540-24721-0. (doi: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) (KAR id:59175)

2003

Bocchi, Laura, Laneve, Cosimo, 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 . pp. 124-138. Springer, Berlin, Germany ISBN 978-3-540-20491-6. E-ISBN 978-3-540-39958-2. (doi: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) (KAR id:59162)

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: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) (KAR id:59165)

This list was generated on Thu Mar 28 20:19:36 2024 GMT.