Federico Crazzolara (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

6 Federico Crazzolara, Glynn Winskel: Petri Nets With Persistence. Electr. Notes Theor. Comput. Sci. 121: 143-155 (2005)

4 Federico Crazzolara, Glynn Winskel: Composing Strand Spaces. FSTTCS 2002: 97-108

3 Federico Crazzolara, Glynn Winskel: Events in security protocols. ACM Conference on Computer and Communications Security 2001: 96-105

2 Federico Crazzolara, Glynn Winskel: Petri nets in cryptographic protocols. IPDPS 2001: 149

Selection of 4 from 6 records - Federico Crazzolara has 2 coauthors

6		Federico Crazzolara, Glynn Winskel: Petri Nets With Persistence. Electr. Notes Theor. Comput. Sci. 121: 143-155 (2005)
4		Federico Crazzolara, Glynn Winskel: Composing Strand Spaces. FSTTCS 2002: 97-108
3		Federico Crazzolara, Glynn Winskel: Events in security protocols. ACM Conference on Computer and Communications Security 2001: 96-105
2		Federico Crazzolara, Glynn Winskel: Petri nets in cryptographic protocols. IPDPS 2001: 149