Electronic Notes in Theoretical Computer Science, Volume 20

Volume 20, 1999

• Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
  Preface.
  
• Paulo Sérgio Almeida:
  Type-checking Balloon Types.
  
• Viviana Bono, John C. Mitchell, Amit Patel, Vitaly Shmatikov:
  A Core Calculus of Classes and Objects.
  
• Kim B. Bruce, Joseph Vanderwaart:
  Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages.
  
• Catherine Meadows, Dennis M. Volpano:
  The MFPS XV Security Session.
  
• Martín Abadi:
  Secrecy in Programming-Language Semantics.
  
• Dominique Bolignano:
  Using Abstract Interpretation for the Safe Verification of Security Protocols.
  
• George C. Necula:
  Enforcing Security and Safety with Proof-Carrying Code.
  
• Geoffrey Smith, Dennis M. Volpano:
  Confinement Properties for Multi-Threaded Programs.
  
• Paul Syvreson:
  Towards a Strand Semantics for Authentication Logic.
  
• Peter Selinger:
  Categorical Structure of Asynchrony.
  
• Stephen D. Brookes:
  Reasoning About Recursive Processes: Expansion is not Always Fair.
  
• Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman:
  Characterizing Topologies With Bounded Complete Computational Models.
  
• Martín Hötzel Escardó:
  On the Compact-regular Coreflection of a Stably Locally Compact Locale.
  
• Martín Hötzel Escardó, Bob Flagg:
  Semantic Domains, Injective Spaces and Monads.
  
• Carsten Führmann:
  Direct Models for the Computational Lambda Calculus.
  
• Reinhold Heckmann:
  Completeness Classes of Equilogical Spaces.
  
• Hongde Hu:
  Contractible Coherence Spaces and Maximal Maps.
  
• C. Barry Jay:
  Denotational Semantics of Shape: Past, Present and Future.
  
• Ralph Kummetz:
  From Partial Orders with Projections to Domains.
  
• S. Lassen:
  Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context.
  
• Matías Menni, Alex K. Simpson:
  The Largest Topological Subcategory of Countably-based Equilogical Spaces.
  
• Michael W. Mislove:
  Local Dcpos, Local Cpos and Local Completions.
  
• Lawrence S. Moss:
  Recursion and Corecursion Have the Same Equational Logic.
  
• Susan Older:
  Strong fairness and Recursive Communicating Processes.
  
• J. Polokow, Frank Pfenning:
  Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic.
  
• John Power, Edmund Robinson:
  Modularity and Dyads.
  
• Ralf Schweimeier, Alan Jeffrey:
  A Categorical and Graphical Treatment of Closure Conversion.