| 2008 |
|---|
| 11 | EE | Aquinas Hobor,
Andrew W. Appel,
Francesco Zappa Nardelli:
Oracle Semantics for Concurrent Separation Logic.
ESOP 2008: 353-367 |
| 10 | EE | Cédric Fournet,
Nataliya Guts,
Francesco Zappa Nardelli:
A Formal Implementation of Value Commitment.
ESOP 2008: 383-397 |
| 2007 |
|---|
| 9 | EE | Peter Sewell,
Francesco Zappa Nardelli,
Scott Owens,
Gilles Peskine,
Tom Ridge,
Susmit Sarkar,
Rok Strnisa:
Ott: effective tool support for the working semanticist.
ICFP 2007: 1-12 |
| 2005 |
|---|
| 8 | EE | Peter Sewell,
James J. Leifer,
Keith Wansbrough,
Francesco Zappa Nardelli,
Mair Allen-Williams,
Pierre Habouzit,
Viktor Vafeiadis:
Acute: high-level programming language design for distributed computation.
ICFP 2005: 15-26 |
| 7 | EE | Giuseppe Castagna,
Jan Vitek,
Francesco Zappa Nardelli:
The Seal Calculus.
Inf. Comput. 201(1): 1-54 (2005) |
| 6 | EE | Massimo Merro,
Francesco Zappa Nardelli:
Behavioral theory for mobile ambients.
J. ACM 52(6): 961-1023 (2005) |
| 2004 |
|---|
| 5 | | Glynn Winskel,
Francesco Zappa Nardelli:
New-HOPLA: A Higher-order Process Language with Name Generation.
IFIP TCS 2004: 521-534 |
| 4 | | Massimo Merro,
Francesco Zappa Nardelli:
Behavioural Theory for Mobile Ambients.
IFIP TCS 2004: 549-562 |
| 2003 |
|---|
| 3 | EE | Massimo Merro,
Francesco Zappa Nardelli:
Bisimulation Proof Methods for Mobile Ambients.
ICALP 2003: 584-598 |
| 2002 |
|---|
| 2 | EE | Giuseppe Castagna,
Francesco Zappa Nardelli:
The Seal Calculus Revisited: Contextual Equivalence and Bisimilarity.
FSTTCS 2002: 85-96 |
| 2001 |
|---|
| 1 | EE | Giuseppe Castagna,
Giorgio Ghelli,
Francesco Zappa Nardelli:
Typing Mobility in the Seal Calculus.
CONCUR 2001: 82-101 |
