×

zbMATH — the first resource for mathematics

Bracciali, Andrea

Compute Distance To:
Author ID: bracciali.andrea Recent zbMATH articles by "Bracciali, Andrea"
Published as: Bracciali, Andrea; Bracciali, A.
External Links: ORCID
Documents Indexed: 18 Publications since 1997, including 1 Book

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 20 times in 14 Documents Cited by Year
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
The KGP model of agency for global computing: Computational model and prototype implementation. Zbl 1111.68452
Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis C.; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca
3
2005
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
Synapses as stochastic concurrent systems. Zbl 1155.92007
Bracciali, Andrea; Brunelli, Marcello; Cataldo, Enrico; Degano, Pierpaolo
2
2008
Adapting components with mismatching behaviours. Zbl 1050.68669
Bracciali, Andrea; Brogi, Antonio; Canal, Carlos
1
2002
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
Synapses as stochastic concurrent systems. Zbl 1155.92007
Bracciali, Andrea; Brunelli, Marcello; Cataldo, Enrico; Degano, Pierpaolo
2
2008
A semantic framework for open processes. Zbl 1132.68042
Baldan, P.; Bracciali, A.; Bruni, R.
3
2007
The KGP model of agency for global computing: Computational model and prototype implementation. Zbl 1111.68452
Bracciali, Andrea; Demetriou, Neophytos; Endriss, Ulle; Kakas, Antonis C.; Lu, Wenjin; Mancarella, Paolo; Sadri, Fariba; Stathis, Kostas; Terreni, Giacomo; Toni, Francesca
3
2005
Symbolic equivalences for open systems. Zbl 1111.68530
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
2
2005
A coordination-based methodology for security protocol verification. Zbl 1272.68048
Baldi, Giacomo; Bracciali, Andrea; Ferrari, Gianluigi; Tuosto, Emilio
1
2005
Bisimulation by unification. Zbl 1275.68100
Baldan, Paolo; Bracciali, Andrea; Bruni, Roberto
8
2002
Adapting components with mismatching behaviours. Zbl 1050.68669
Bracciali, Andrea; Brogi, Antonio; Canal, Carlos
1
2002

Citations by Year