TGC 2005: Edinburgh, UK

• Benjamin C. Pierce:
  Harmony: The Art of Reconciliation. 1
  Electronic Edition (link) BibTeX
• Silvia Crafa, Sabina Rossi:
  A Theory of Noninterference for the pi-Calculus. 2-18
  Electronic Edition (link) BibTeX
• Michele Bugliesi, Marco Giunti:
  Typed Processes in Untyped Contexts. 19-32
  Electronic Edition (link) BibTeX
• Dean Rosenzweig, Davor Runje, Wolfram Schulte:
  Model-Based Testing of Cryptographic Protocols. 33-60
  Electronic Edition (link) BibTeX
• Michele Boreale, Maria Grazia Buscemi, Ugo Montanari:
  A General Name Binding Mechanism. 61-74
  Electronic Edition (link) BibTeX
• Adriana B. Compagnoni, Elsa L. Gunter:
  Types for Security in a Mobile World. 75-97
  Electronic Edition (link) BibTeX
• Francisco Martins, Vasco Thudichum Vasconcelos:
  History-Based Access Control for Distributed Processes. 98-115
  Electronic Edition (link) BibTeX
• Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen:
  Programming Cryptographic Protocols. 116-145
  Electronic Edition (link) BibTeX
• Konstantinos Chatzikokolakis, Catuscia Palamidessi:
  A Framework for Analyzing Probabilistic Protocols and Its Application to the Partial Secrets Exchange. 146-162
  Electronic Edition (link) BibTeX
• Sébastien Briais, Uwe Nestmann:
  A Formal Semantics for Protocol Narrations. 163-181
  Electronic Edition (link) BibTeX
• Cosimo Laneve, Gianluigi Zavattaro:
  web-pi at Work. 182-194
  Electronic Edition (link) BibTeX
• Mark S. Miller, Eric Dean Tribble, Jonathan S. Shapiro:
  Concurrency Among Strangers. 195-229
  Electronic Edition (link) BibTeX
• William Simmonds, Tim Hawkins:
  The Modelling and Analysis of OceanStore Elements Using the CSP Dependability Library. 230-247
  Electronic Edition (link) BibTeX
• Fred Spiessens, Peter Van Roy:
  A Practical Formal Model for Safety Analysis in Capability-Based Systems. 248-278
  Electronic Edition (link) BibTeX
• Davide Ancona, Sonia Fagorzi, Elena Zucca:
  Mixin Modules for Dynamic Rebinding. 279-298
  Electronic Edition (link) BibTeX
• Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, Sophia Drossopoulou:
  A Distributed Object-Oriented Language with Session Types. 299-318
  Electronic Edition (link) BibTeX
• James Skene, Wolfgang Emmerich:
  Engineering Runtime Requirements-Monitoring Systems Using MDA Technologies. 319-333
  Electronic Edition (link) BibTeX
• Mikael Buchholtz:
  Automated Analysis of Infinite Scenarios. 334-352
  Electronic Edition (link) BibTeX
• L. Gregory Meredith, Matthias Radestock:
  Namespace Logic: A Logic for a Reflective Higher-Order Calculus. 353-369
  Electronic Edition (link) BibTeX