Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1997, volume: 10, number:

1. Martín Abadi, Cédric Fournet, Georges Gonthier
   Secure Implementation of Channel Abstractions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
2. Ugo Montanari, Marco Pistore
   An Introduction to History Dependent Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
3. Ugo Montanari, Carolyn L. Talcott
   Can Actors and pi-Agents Live Together? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
4. J. Gregory Morrisett, Robert Harper
   Typed Closure Conversion for Recursively-Defined Functions. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
5. Flemming Nielson, Hanne Riis Nielson
   Flow Logic and Operational Semantics. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
6. Andrew M. Pitts
   Parametric Polymorphism and Operational Equivalence. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
7. Dave Sands
   Computing with Contexts: A simple approach. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
8. Allen Stoughton
   An Operational Semantics Framework Supporting the Incremental Construction of Derivation Trees. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
9. Scott F. Smith
   Specification Diagrams for Actor Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
   
10. Søren B. Lassen, Corin Pitcher
    Similarity and Bisimilarity for Countable Non-Determinism and Higher-Order Functions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
11. Alan Jeffrey
    Premonoidal categories and flow graphs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
12. Husain Ibraheem, David A. Schmidt
    Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ``Higher-Order'' Derivations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
13. Zena M. Ariola, Amr Sabry
    Correctness of Monadic State: An Imperative Call-by-Need Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
14. Gilles Barthe, John Hatcliff, Peter Thiemann
    Monadic Type Systems: Pure Type Systems for Impure Settings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
15. Luca Cardelli, Andrew D. Gordon
    Mobile Ambients. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
16. Laurent Dami
    Operational Subsumption, an Ideal Model of Subtyping. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
17. Matthew Flatt, Matthias Felleisen
    Program Units as Higher-Order Modules. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
18. Stephen N. Freund, John C. Mitchell
    A Type System For Object Initialization In the Java Bytecode Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
19. Philippa Gardner
    A Type-theoretic Description of Action Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
20. Andrew Gordon, Andrew M. Pitts, Carolyn L. Talcott
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]
    
21. Glynn Winskel
    An Operational Understanding of Bisimulation from Open Maps. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1997, v:10, n:, pp:- [Journal]