×
Compute Distance To:
Author ID: brodo.linda Recent zbMATH articles by "Brodo, Linda"
Published as: Brodo, Linda; Brodo, L.
Documents Indexed: 19 Publications since 2003
Co-Authors: 15 Co-Authors with 17 Joint Publications
372 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 44 times in 14 Documents Cited by Year
Open multiparty interaction. Zbl 1394.68244
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
7
2013
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
2014
Symbolic semantics for multiparty interactions in the link-calculus. Zbl 1433.68241
Brodo, Linda; Olarte, Carlos
4
2017
A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032
Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D.
4
2017
A formal approach to open multiparty interactions. Zbl 1411.68074
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
4
2019
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164
Brodo, Linda
3
2018
A global occurrence counting analysis for brane calculi. Zbl 1417.68118
Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
3
2015
On the expressiveness of the \(\pi \)-calculus and the mobile ambients. Zbl 1308.68082
Brodo, Linda
3
2011
Static detection of logic flaws in service-oriented applications. Zbl 1252.68106
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2009
Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101
Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
2
2003
Static evidences for attack reconstruction. Zbl 1437.94051
Bodei, Chiara; Brodo, Linda; Focardi, Riccardo
2
2015
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
2
2020
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2020
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003
Verification techniques for a network algebra. Zbl 1464.68233
Brodo, Linda; Olarte, Carlos
2
2020
The link-calculus for open multiparty interactions. Zbl 07285753
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2020
A formal approach to open multiparty interactions. Zbl 1411.68074
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
4
2019
On the expressiveness of \(\pi\)-calculus for encoding mobile ambients. Zbl 1387.68164
Brodo, Linda
3
2018
Symbolic semantics for multiparty interactions in the link-calculus. Zbl 1433.68241
Brodo, Linda; Olarte, Carlos
4
2017
A static analysis for brane calculi providing global occurrence counting information. Zbl 1383.92032
Bodei, C.; Brodo, L.; Gori, R.; Levi, F.; Bernini, A.; Hermith, D.
4
2017
A global occurrence counting analysis for brane calculi. Zbl 1417.68118
Bodei, Chiara; Brodo, Linda; Gori, Roberta; Hermith, Diana; Levi, Francesca
3
2015
Static evidences for attack reconstruction. Zbl 1437.94051
Bodei, Chiara; Brodo, Linda; Focardi, Riccardo
2
2015
A flat process calculus for nested membrane interactions. Zbl 1424.68101
Bodei, Chiara; Brodo, Linda; Bruni, Roberto; Chiarugi, Davide
5
2014
Open multiparty interaction. Zbl 1394.68244
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
7
2013
On the expressiveness of the \(\pi \)-calculus and the mobile ambients. Zbl 1308.68082
Brodo, Linda
3
2011
Static detection of logic flaws in service-oriented applications. Zbl 1252.68106
Bodei, Chiara; Brodo, Linda; Bruni, Roberto
2
2009
Reflecting mobile ambients into the \(\pi \)-calculus. Zbl 1179.68101
Brodo, Linda; Degano, Pierpaolo; Priami, Corrado
2
2003
Performance evaluation for global computation. Zbl 1179.68016
Brodo, Linda; Degano, Pierpaolo; Gilmore, Stephen; Hillston, Jane; Priami, Corrado
1
2003

Citations by Year