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

Article

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 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)

Book section

Lange, Julien and Tuosto, Emilio and Yoshida, Nobuko (2017) A Tool for Choreography-Based Analysis of Message-Passing Software. In: Behavioural Types: from Theory to Tools. River Publishers. ISBN 978-87-93519-82-4. (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

Cheval, Vincent and Delaune, Stéphanie and Ryan, Mark (2014) Tests for Establishing Security Properties. In: 9th International Symposium on Trustworthy Global Computing (TGC'14), September 2014, Roma, Italy. (doi:https://doi.org/10.1007/978-3-662-45917-1_6) (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 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 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)

This list was generated on Sat Mar 30 19:03:59 2019 GMT.