 | 2009 |
|---|
| 8 |       | Jesper Bengtson,
Magnus Johansson,
Joachim Parrow,
Björn Victor:
Psi-calculi: Mobile Processes, Nominal Data, and Logic.
LICS 2009: 39-48 |
| 7 | | Jesper Bengtson,
Joachim Parrow:
Psi-calculi in Isabelle.
TPHOLs 2009: 99-114 |
| 2008 |
|---|
| 6 | | Jesper Bengtson,
Karthikeyan Bhargavan,
Cédric Fournet,
Andrew D. Gordon,
Sergio Maffeis:
Refinement Types for Secure Implementations.
CSF 2008: 17-32 |
| 5 | | Magnus Johansson,
Joachim Parrow,
Björn Victor,
Jesper Bengtson:
Extended pi-Calculi.
ICALP (2) 2008: 87-98 |
| 4 | | Jesper Bengtson,
Joachim Parrow:
Formalising the pi-calculus using nominal logic
Logical Methods in Computer Science 5(2): (2008) |
| 2007 |
|---|
| 3 | | Jesper Bengtson,
Joachim Parrow:
Formalising the pi-Calculus Using Nominal Logic.
FoSSaCS 2007: 63-77 |
| 2 | | 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 | | 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) |
