Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 158, number:

1. Steve Brookes, Michael W. Mislove
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:1-2 [Journal]
   
2. Patricia Bouyer
   Weighted Timed Automata: Model-Checking and Games. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:3-17 [Journal]
   
3. Rohit Chadha, Paulo Mateus, Amílcar Sernadas
   Reasoning About Imperative Quantum Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:19-39 [Journal]
   
4. Adam Antonik, Michael Huth
   Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:41-57 [Journal]
   
5. Ingo Battenfeld
   Computational Effects in Topological Domain Theory. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:59-80 [Journal]
   
6. Josh Berdine, Peter W. O'Hearn
   Strong Update, Disposal, and Encapsulation in Bunched Typing. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:81-98 [Journal]
   
7. Eduardo Bonelli
   The Linear Logical Abstract Machine. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:99-121 [Journal]
   
8. Stephen D. Brookes
   Variables as Resource for Shared-Memory Programs: Semantics and Soundness. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:123-150 [Journal]
   
9. Daniela Cancila, Furio Honsell, Marina Lenisa
   Functors Determined by Values on Objects. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:151-169 [Journal]
   
10. Matthew Collinson, David J. Pym
    Bunching for Regions and Locations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:171-197 [Journal]
    
11. Mohamed A. El-Zawawy, Achim Jung
    Priestley Duality for Strong Proximity Lattices. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:199-217 [Journal]
    
12. Chris Heunen, Bart Jacobs
    Arrows, like Monads, are Monoids. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:219-236 [Journal]
    
13. Weng Kin Ho
    An Operational Domain-theoretic Treatment of Recursive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:237-259 [Journal]
    
14. Paul Blain Levy
    Monads and Adjunctions for Global Exceptions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:261-287 [Journal]
    
15. Keye Martin, Ira S. Moskowitz, Gerard Allwein
    Algebraic Information Theory For Binary Channels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:289-306 [Journal]
    
16. Massimo Merro, Corrado Biasi
    On the Observational Theory of the CPS-calculus: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:307-330 [Journal]
    
17. Nicola Mezzetti, Davide Sangiorgi
    Towards a Calculus For Wireless Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:331-353 [Journal]
    
18. John Power
    Semantics for Local Computational Effects. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:355-371 [Journal]
    
19. Daniele Varacca, Nobuko Yoshida
    Typed Event Structures and the pi-Calculus: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:373-397 [Journal]
    
20. Uri Zarfaty, Philippa Gardner
    Local Reasoning About Tree Update. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:399-424 [Journal]