Marco Giunti Vis

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