Marco Giunti (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

Selection of 2 from 4 records - Marco Giunti has 2 coauthors

Last update 2012-02-17 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

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