default search action
6th SecCO@CONCUR 2008: Toronto, ON, Canada
- Steve Kremer, Prakash Panangaden:
Proceedings of the 6th Workshop on Security Issues in Concurrency, SecCo@CONCUR 2008, Toronto, ON, Canada, August 23, 2008. Electronic Notes in Theoretical Computer Science 242(3), Elsevier 2009 - Steve Kremer, Prakash Panangaden:
Preface. 1-2 - Johannes Borgström:
A Complete Symbolic Bisimilarity for an Extended Spi Calculus. 3-20 - Andrew D. Gordon, Hans Hüttel, René Rydhof Hansen:
Type Inference for Correspondence Types. 21-36
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.