| * | 2009 |
|---|
| 7 | EE | Jesper Bengtson,
Joachim Parrow:
Psi-calculi in Isabelle.
TPHOLs 2009: 99-114 |
| 2008 |
|---|
| 6 | EE | Jesper Bengtson,
Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis:
Refinement Types for Secure Implementations.
CSF 2008: 17-32 |
| 5 | EE | Magnus Johansson,
Joachim Parrow,
Björn Victor,
Jesper Bengtson:
Extended pi-Calculi.
ICALP (2) 2008: 87-98 |
| 4 | EE | Jesper Bengtson,
Joachim Parrow:
Formalising the pi-calculus using nominal logic
Logical Methods in Computer Science 5(2): (2008) |
| 2007 |
|---|
| 3 | EE | Jesper Bengtson,
Joachim Parrow:
Formalising the pi-Calculus Using Nominal Logic.
FoSSaCS 2007: 63-77 |
| 2 | EE | Jesper Bengtson,
Joachim Parrow:
A Completeness Proof for Bisimulation in the pi-calculus Using Isabelle.
Electr. Notes Theor. Comput. Sci. 192(1): 61-75 (2007) |
| 2004 |
|---|
| 1 | EE | Michael Baldamus,
Jesper Bengtson,
Gian Luigi Ferrari,
Roberto Raggi:
Web Services as a New Approach to Distributing and Coordinating Semantics-Based Veri cation Toolkits.
Electr. Notes Theor. Comput. Sci. 105: 11-20 (2004) |
