 | 2009 |
|---|
| 8 |       | Johannes Borgström:
A Complete Symbolic Bisimilarity for an Extended Spi Calculus.
Electr. Notes Theor. Comput. Sci. 242(3): 3-20 (2009) |
| 2008 |
|---|
| 7 | | Johannes Borgström,
Andrew D. Gordon,
Andrew Phillips:
A Chart Semantics for the Pi-Calculus.
Electr. Notes Theor. Comput. Sci. 194(2): 3-29 (2008) |
| 2006 |
|---|
| 6 | | Johannes Borgström,
Olga Grinchtein,
Simon Kramer:
Timed Calculus of Cryptographic Communication.
Formal Aspects in Security and Trust 2006: 16-30 |
| 5 | | Johannes Borgström:
Static Equivalence is Harder than Knowledge.
Electr. Notes Theor. Comput. Sci. 154(3): 45-57 (2006) |
| 2005 |
|---|
| 4 | | Johannes Borgström,
Uwe Nestmann:
On bisimulations for the spi calculus.
Mathematical Structures in Computer Science 15(3): 487-552 (2005) |
| 2004 |
|---|
| 3 | | Johannes Borgström,
Sébastien Briais,
Uwe Nestmann:
Symbolic Bisimulation in the Spi Calculus.
CONCUR 2004: 161-176 |
| 2 | | Johannes Borgström,
Uwe Nestmann,
Luc Onana Alima,
Dilian Gurov:
Verifying a Structured Peer-to-Peer Overlay Network: The Static Case.
Global Computing 2004: 250-265 |
| 2002 |
|---|
| 1 | | Johannes Borgström,
Uwe Nestmann:
On Bisimulations for the Spi Calculus.
AMAST 2002: 287-303 |
