Federico Crazzolara

According to our database, Federico Crazzolara authored at least 7 papers between 1997 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2004

Petri Nets With Persistence.

Federico Crazzolara, Glynn Winskel

Proceedings of the 2nd International Workshop on Security Issues with Petri Nets and other Computational Models, 2004

2003

Wireless authentication in χ-Spaces.

Federico Crazzolara, Giuseppe Milicia

Proceedings of the Global Telecommunications Conference, 2003

A Framework for the Development of Protocols.

Federico Crazzolara, Giuseppe Milicia

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Composing Strand Spaces.

Federico Crazzolara, Glynn Winskel

Proceedings of the FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science, 2002

2001

Petri nets in cryptographic protocols.

Federico Crazzolara, Glynn Winskel

Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Events in security protocols.

Federico Crazzolara, Glynn Winskel

Proceedings of the CCS 2001, 2001

1997

Quasi-metric Spaces as Domains for Abstract Interpretation.

Federico Crazzolara

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997