
Search the dblp DataBase
Johannes Borgström:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Johannes Borgström, Uwe Nestmann
On Bisimulations for the Spi Calculus. [Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:287303 [Conf]
 Johannes Borgström, Sébastien Briais, Uwe Nestmann
Symbolic Bisimulation in the Spi Calculus. [Citation Graph (0, 0)][DBLP] CONCUR, 2004, pp:161176 [Conf]
 Johannes Borgström, Uwe Nestmann, Luc Onana Alima, Dilian Gurov
Verifying a Structured PeertoPeer Overlay Network: The Static Case. [Citation Graph (0, 0)][DBLP] Global Computing, 2004, pp:250265 [Conf]
 Johannes Borgström
Static Equivalence is Harder than Knowledge. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:154, n:3, pp:4557 [Journal]
 Johannes Borgström, Uwe Nestmann
On bisimulations for the spi calculus. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2005, v:15, n:3, pp:487552 [Journal]
 Johannes Borgström, Olga Grinchtein, Simon Kramer
Timed Calculus of Cryptographic Communication. [Citation Graph (0, 0)][DBLP] Formal Aspects in Security and Trust, 2006, pp:1630 [Conf]
A compositional theory for STM Haskell. [Citation Graph (, )][DBLP]
A Chart Semantics for the PiCalculus. [Citation Graph (, )][DBLP]
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. [Citation Graph (, )][DBLP]
Search in 0.080secs, Finished in 0.080secs
