Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 172, number:

1. Luca Cardelli, Marcelo P. Fiore, Glynn Winskel
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:1-4 [Journal]
   
2. Martín Abadi
   Access Control in a Core Calculus of Dependency. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:5-31 [Journal]
   
3. Samson Abramsky
   Event Domains, Stable Functions and Proof-Nets. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:33-67 [Journal]
   
4. Ingo Battenfeld, Matthias Schröder, Alex Simpson
   A Convenient Category of Domains. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:69-99 [Journal]
   
5. Richard Blute, Prakash Panangaden, Dorette Pronk
   Conformal Field Theory as a Nuclear Functor. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:101-132 [Journal]
   
6. Cristiano Calcagno, Philippa Gardner, Uri Zarfaty
   Local Reasoning about Data Update. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:133-175 [Journal]
   
7. Luca Cardelli, Philippa Gardner, Giorgio Ghelli
   Manipulating Trees with Hidden Labels. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:177-201 [Journal]
   
8. Gian Luca Cattani, Marcelo P. Fiore
   The Bicategory-Theoretic Solution of Recursive Domain Equations. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:203-222 [Journal]
   
9. Ranald A. Clouston, Andrew M. Pitts
   Nominal Equational Logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:223-257 [Journal]
   
10. Karl Crary, Robert Harper
    Syntactic Logical Relations for Polymorphic and Recursive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:259-299 [Journal]
    
11. Pierre-Louis Curien
    Definability and Full Abstraction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:301-310 [Journal]
    
12. Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
    Protocol Composition Logic (PCL). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:311-358 [Journal]
    
13. Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
    Remarks on Testing Probabilistic Processes. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:359-397 [Journal]
    
14. Furio Honsell, Marina Lenisa, Luigi Liquori
    A Framework for Defining Logical Frameworks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:399-436 [Journal]
    
15. Martin Hyland, John Power
    The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:437-458 [Journal]
    
16. Michael W. Mislove, Dusko Pavlovic, James Worrell
    Labelled Markov Processes as Generalised Stochastic Relations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:459-478 [Journal]
    
17. Eugenio Moggi
    Structuring Operational Semantics: Simplification and Computation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:479-497 [Journal]
    
18. Mogens Nielsen, Karl Krukow, Vladimiro Sassone
    A Bayesian Model for Event-based Trust. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:499-521 [Journal]
    
19. Flemming Nielson, Hanne Riis Nielson
    Heuristics for Safety and Security Constraints. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:523-543 [Journal]
    
20. David J. Pym, Chris M. N. Tofts
    Systems Modelling via Resources and Processes: Philosophy, Calculus, Semantics, and Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:545-587 [Journal]
    
21. Colin Stirling
    Model-Checking Games for Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:589-609 [Journal]
    
22. Glynn Winskel
    Event Structures with Symmetry. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:611-652 [Journal]