E-LIB Suche - Ergebnisse für: Bocchi, Laura

1

Asynchronous Subtyping by Trace Relaxation:

, In: Tools and Algorithms for the Construction and Analysis of Systems; Lecture Notes in Computer Science,

Bocchi, Laura ; King, Andy ; Murgia, Maurizio - p. 207-226 , 2024

Link: https://doi.org/10.1007/..

2

Safe Asynchronous Mixed-Choice for Timed Interactions:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Pears, Jonah ; Bocchi, Laura ; King, Andy - p. 214-231 , 2023

Link: https://doi.org/10.1007/..

3

The Reversible Temporal Process Language:

, In: Formal Techniques for Distributed Objects, Components, and Systems; Lecture Notes in Computer Science,

Bocchi, Laura ; Lanese, Ivan ; Mezzina, Claudio Antares. - p. 31-49 , 2022

Link: https://doi.org/10.1007/..

4

A Model of Actors and Grey Failures:

, In: Lecture Notes in Computer Science; Coordination Models and Languages,

Bocchi, Laura ; Lange, Julien ; Thompson, Simon. - p. 140-158 , 2022

Link: https://doi.org/10.1007/..

5

Coordination Models and Languages: 22nd IFIP WG 6.1 Interna..

Programming and Software Engineering, 12134

Bliudze, Simon ; Bocchi, Laura - 1st ed. 2020 . , 2020

Link: https://doi.org/10.1007/..

6

Asynchronous Timed Session Types: From Duality to Time-Sens..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,

Bocchi, Laura ; Murgia, Maurizio ; Vasconcelos, Vasco Thudichum. - p. 583-610 , 2019

Link: https://doi.org/10.1007/..

7

Preface for the special issue on Interaction and Concurrenc..:

Bartoletti, Massimo ; Bocchi, Laura ; Henrio, Ludovic.
Journal of Logical and Algebraic Methods in Programming. 109 (2019) - p. 100488 , 2019

Link: https://doi.org/10.1016/..

8

Monitoring networks through multiparty session types:

Bocchi, Laura ; Chen, Tzu-Chun ; Demangeon, Romain..
Theoretical Computer Science. 669 (2017) - p. 33-58 , 2017

Link: https://doi.org/10.1016/..

9

Timed runtime monitoring for multiparty conversations:

Neykova, Rumyana ; Bocchi, Laura ; Yoshida, Nobuko
Formal Aspects of Computing. 29 (2017) 5 - p. 877-910 , 2017

Link: https://doi.org/10.1007/..

10

Attribute-based transactions in service oriented computing:

BOCCHI, LAURA ; TUOSTO, EMILIO
Mathematical Structures in Computer Science. 25 (2014) 3 - p. 619-665 , 2014

Link: https://doi.org/10.1017/..

11

On the behaviour of general purpose applications on cloud s..:

Bocchi, Laura ; Melgratti, Hernán
Service Oriented Computing and Applications. 9 (2014) 3-4 - p. 213-227 , 2014

Link: https://doi.org/10.1007/..

12

An abstract model of service discovery and binding:

Fiadeiro, José Luiz ; Lopes, Antónia ; Bocchi, Laura
Formal Aspects of Computing. 23 (2011) 4 - p. 433-463 , 2011

Link: https://doi.org/10.1007/..

13

From StPowla processes to SRML models:

Bocchi, Laura ; Gorton, Stephen ; Reiff-Marganiec, Stephan
Formal Aspects of Computing. 22 (2010) 3 - p. 243-268 , 2010

Link: https://doi.org/10.1007/..

14

From Architectural to Behavioural Specification of Services:

Bocchi, Laura ; Fiadeiro, José Luiz ; Lapadula, Alessandro..
Electronic Notes in Theoretical Computer Science. 253 (2009) 1 - p. 3-21 , 2009

Link: https://doi.org/10.1016/..

15

On the Impact of Formal Methods in the SOA:

Bocchi, Laura ; Ciancarini, Paolo
Electronic Notes in Theoretical Computer Science. 160 (2006) - p. 113-126 , 2006

Link: https://doi.org/10.1016/..