×

zbMATH — the first resource for mathematics

Bocchi, Laura

Compute Distance To:
Author ID: bocchi.laura Recent zbMATH articles by "Bocchi, Laura"
Published as: Bocchi, Laura
Documents Indexed: 14 Publications since 2003, including 1 Book

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 65 times in 41 Documents Cited by Year
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
13
2017
A calculus for long-running transactions. Zbl 1253.68056
Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi
11
2003
Timed runtime monitoring for multiparty conversations. Zbl 1375.68030
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko
6
2017
Timed multiparty session types. Zbl 1417.68117
Bocchi, Laura; Yang, Weizhen; Yoshida, Nobuko
6
2014
Meeting deadlines together. Zbl 1374.68320
Bocchi, Laura; Lange, Julien; Yoshida, Nobuko
5
2015
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
5
2014
From StPowla processes to SRML models. Zbl 1213.68217
Bocchi, Laura; Gorton, Stephen; Reiff-Marganiec, Stephan
2
2010
Compositional nested long running transactions. Zbl 1129.68359
Bocchi, Laura
2
2004
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
1
2020
On resolving non-determinism in choreographies. Zbl 07269246
Bocchi, Laura; Melgratti, Hernan; Tuosto, Emilio
1
2020
Monitoring networks through multiparty session types. Zbl 1359.68215
Bocchi, Laura; Chen, Tzu-Chun; Demangeon, Romain; Honda, Kohei; Yoshida, Nobuko
13
2017
Timed runtime monitoring for multiparty conversations. Zbl 1375.68030
Neykova, Rumyana; Bocchi, Laura; Yoshida, Nobuko
6
2017
Meeting deadlines together. Zbl 1374.68320
Bocchi, Laura; Lange, Julien; Yoshida, Nobuko
5
2015
Timed multiparty session types. Zbl 1417.68117
Bocchi, Laura; Yang, Weizhen; Yoshida, Nobuko
6
2014
Resolving non-determinism in choreographies. Zbl 1405.68071
Bocchi, Laura; Melgratti, Hernán; Tuosto, Emilio
5
2014
A theory of design-by-contract for distributed multiparty interactions. Zbl 1287.68121
Bocchi, Laura; Honda, Kohei; Tuosto, Emilio; Yoshida, Nobuko
14
2010
From StPowla processes to SRML models. Zbl 1213.68217
Bocchi, Laura; Gorton, Stephen; Reiff-Marganiec, Stephan
2
2010
Compositional nested long running transactions. Zbl 1129.68359
Bocchi, Laura
2
2004
A calculus for long-running transactions. Zbl 1253.68056
Bocchi, Laura; Laneve, Cosimo; Zavattaro, Gianluigi
11
2003

Citations by Year