Federico Crazzolara

	2005
6		Federico Crazzolara, Glynn Winskel: Petri Nets With Persistence. Electr. Notes Theor. Comput. Sci. 121: 143-155 (2005)
	2003
5		Federico Crazzolara, Giuseppe Milicia: A Framework for the Development of Protocols. ACSD 2003: 239-240
	2002
4		Federico Crazzolara, Glynn Winskel: Composing Strand Spaces. FSTTCS 2002: 97-108
	2001
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
	1997
1		Federico Crazzolara: Quasi-metric Spaces as Domains for Abstract Interpretation. APPIA-GULP-PRODE 1997: 45-56

Coauthor Index

1	Giuseppe Milicia	[5]
2	Glynn Winskel	[2] [3] [4] [6]

Colors in the list of coauthors