Marco Giunti

List of publications from the DBLP Bibliography Server - FAQ

2007

2 EE Michele Bugliesi, Marco Giunti: Secure implementations of typed channel abstractions. POPL 2007: 251-262

2005

1 EE Michele Bugliesi, Marco Giunti: Typed Processes in Untyped Contexts. TGC 2005: 19-32

2007
2	EE	Michele Bugliesi, Marco Giunti: Secure implementations of typed channel abstractions. POPL 2007: 251-262
2005
1	EE	Michele Bugliesi, Marco Giunti: Typed Processes in Untyped Contexts. TGC 2005: 19-32

Coauthor Index