Digital Library
Close Browse articles from a journal
 
Search for with title:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
                                       All articles of the corresponding issues
 
                             25 results found
no title author magazine year volume issue page(s) type
1 A Case Study in Abstract Interpretation Based Program Transformation Cousot, Patrick
 2001
 45 C p. 41-64
24 p.
 article
2 A Concurrent Graph Semantics for Mobile Ambients 1 1 Research partly supported by the EC TMR Network General Theory of Graph Transformation Systems (GETGRATS); by the EC Esprit WG Applications of Graph Transformations (APPLIGRAPH); and by the Italian MURST Project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA). Gadducci, Fabio
 2001
 45 C p. 88-105
18 p.
 article
3 A Game Semantics of Idealized CSP Laird, J.
 2001
 45 C p. 232-257
26 p.
 article
4 A Generalisation of Stationary Distributions, and Probabilistic Program Algebra McIver, A.K.
 2001
 45 C p. 269-279
11 p.
 article
5 An Algebraic Foundation for Graph-based Diagrams in Computing Power, John
 2001
 45 C p. 346-357
12 p.
 article
6 A New Approach to Quantitative Domain Theory Fan, Lei
 2001
 45 C p. 77-87
11 p.
 article
7 A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols Mitchell, J.
 2001
 45 C p. 280-310
31 p.
 article
8 A Relationship between Equilogical Spaces and Type Two Effectivity Bauer, Andrej
 2001
 45 C p. 1-21
21 p.
 article
9 A Selective CPS Transformation Nielsen, Lasse R.
 2001
 45 C p. 311-331
21 p.
 article
10 Comparing Control Constructs by Double-barrelled CPS Transforms Thielecke, Hayo
 2001
 45 C p. 433-447
15 p.
 article
11 Demonstrating Lambda Calculus Reduction Sestoft, Peter
 2001
 45 C p. 424-432
9 p.
 article
12 Distance and Measurement in Domain Theory Waszkiewicz, Paweł
 2001
 45 C p. 448-462
15 p.
 article
13 Elements of Stream Calculus Rutten, J.J.M.M.
 2001
 45 C p. 358-423
66 p.
 article
14 Key Compromise, Strand Spaces, and the Authentication Tests 1 1 I gave my MFPS 17 talk on 24 May 2001, Bob Dylan's sixtieth birthday. This paper is dedicated to him. Guttman, Joshua D.
 2001
 45 C p. 141-161
21 p.
 article
15 Model-Checking View-Based Partial Specifications Huth, Michael
 2001
 45 C p. 174-196
23 p.
 article
16 On Extracting Static Semantics Hannan, John
 2001
 45 C p. 162-173
12 p.
 article
17 Preface Brookes, Stephen
 2001
 45 C p. 463-464
2 p.
 article
18 Pseudo-commutative Monads Hyland, Martin
 2001
 45 C p. 197-208
12 p.
 article
19 Regular-Language Semantics for a Call-by-Value Programming Language Ghica, Dan R.
 2001
 45 C p. 106-118
13 p.
 article
20 Semantics for Algebraic Operations Plotkin, Gordon
 2001
 45 C p. 332-345
14 p.
 article
21 Stably Compact Spaces and Closed Relations Jung, Achim
 2001
 45 C p. 209-231
23 p.
 article
22 Time Stamps for Fixed-Point Approximation Damian, Daniel
 2001
 45 C p. 65-76
12 p.
 article
23 Transfer Principles for Reasoning About Concurrent Programs Brookes, Stephen
 2001
 45 C p. 22-40
19 p.
 article
24 Typing Correspondence Assertions for Communication Protocols Gordon, Andrew D.
 2001
 45 C p. 119-140
22 p.
 article
25 Unique Fixed Points in Domain Theory Martin, Keye
 2001
 45 C p. 258-268
11 p.
 article
                             25 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands