613 papers · page 22 of 31
Alwen Tiu
A notion of open bisimulation is formulated for the spi calculus, an extension of the π-calculus with cryptographic primitives. In this formulation, open bisimulation is indexed by pairs of symbolic traces, which represent the history of interactions between the environment with …
Dachuan Yu
Abstract elided by the publisher.
Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai
Abstract elided by the publisher.
Martín Abadi, Ricardo Corin, Cédric Fournet
Abstract elided by the publisher.
Nick Benton, Andrew Kennedy, Martin Hofmann, Lennart Beringer
Abstract elided by the publisher.
Lennart Beringer, Martin Hofmann
Abstract elided by the publisher.
Nina Bohr, Lars Birkedal
Abstract elided by the publisher.
Yannis Chicha, Stephen M. Watt
Abstract elided by the publisher.
Tae-Hyoung Choi, Oukseh Lee, Hyunha Kim, Kyung-Goo Doh
Abstract elided by the publisher.
Hyunjun Eo, Ik-Soon Kim, Kwangkeun Yi
Abstract elided by the publisher.
Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
Abstract elided by the publisher.
Johan Gade, Robert Glück
Abstract elided by the publisher.
Jacques Garrigue
Abstract elided by the publisher.
Tobias Gedell, Jörgen Gustavsson, Josef Svenningsson
Abstract elided by the publisher.
Roberta Gori, Francesca Levi
Abstract elided by the publisher.
William L. Harrison
Abstract elided by the publisher.
Pieter W. M. Koopman, Rinus Plasmeijer
Abstract elided by the publisher.
Markus Lumpe
Abstract elided by the publisher.
Hidehiko Masuhara, Yusuke Endoh, Akinori Yonezawa
Abstract elided by the publisher.
Yasuhiko Minamide, Akihiko Tozawa
Abstract elided by the publisher.