arXiv 2015-12-22 EN Mechanizing a Process Algebra for Network Protocols Bourke, Timothy · van Glabbeek, Robert J. · Höfner, Peter
arXiv 2015-11-24 EN A Symbolic Logic with Concrete Bounds for Cryptographic Protocols Datta, Anupam · Halpern, Joseph Y. · Mitchell, John C. · Roy, Arnab +1
arXiv 2014-07-14 EN Showing invariance compositionally for a process algebra for network protocols Bourke, Timothy · van Glabbeek, Robert J. · Höfner, Peter
