Marco Giunti

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2007

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

2005

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

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

Coauthor Index

1 Michele Bugliesi [1] [2]