Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
 
Zoeken naar met titel:
ABCDEFGHIJKLMNOPQRSTUVWXYZ

     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             25 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Case Study in Abstract Interpretation Based Program Transformation Cousot, Patrick
 2001
 45 C p. 41-64
24 p.
 artikel
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.
 artikel
3 A Game Semantics of Idealized CSP Laird, J.
 2001
 45 C p. 232-257
26 p.
 artikel
4 A Generalisation of Stationary Distributions, and Probabilistic Program Algebra McIver, A.K.
 2001
 45 C p. 269-279
11 p.
 artikel
5 An Algebraic Foundation for Graph-based Diagrams in Computing Power, John
 2001
 45 C p. 346-357
12 p.
 artikel
6 A New Approach to Quantitative Domain Theory Fan, Lei
 2001
 45 C p. 77-87
11 p.
 artikel
7 A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols Mitchell, J.
 2001
 45 C p. 280-310
31 p.
 artikel
8 A Relationship between Equilogical Spaces and Type Two Effectivity Bauer, Andrej
 2001
 45 C p. 1-21
21 p.
 artikel
9 A Selective CPS Transformation Nielsen, Lasse R.
 2001
 45 C p. 311-331
21 p.
 artikel
10 Comparing Control Constructs by Double-barrelled CPS Transforms Thielecke, Hayo
 2001
 45 C p. 433-447
15 p.
 artikel
11 Demonstrating Lambda Calculus Reduction Sestoft, Peter
 2001
 45 C p. 424-432
9 p.
 artikel
12 Distance and Measurement in Domain Theory Waszkiewicz, Paweł
 2001
 45 C p. 448-462
15 p.
 artikel
13 Elements of Stream Calculus Rutten, J.J.M.M.
 2001
 45 C p. 358-423
66 p.
 artikel
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.
 artikel
15 Model-Checking View-Based Partial Specifications Huth, Michael
 2001
 45 C p. 174-196
23 p.
 artikel
16 On Extracting Static Semantics Hannan, John
 2001
 45 C p. 162-173
12 p.
 artikel
17 Preface Brookes, Stephen
 2001
 45 C p. 463-464
2 p.
 artikel
18 Pseudo-commutative Monads Hyland, Martin
 2001
 45 C p. 197-208
12 p.
 artikel
19 Regular-Language Semantics for a Call-by-Value Programming Language Ghica, Dan R.
 2001
 45 C p. 106-118
13 p.
 artikel
20 Semantics for Algebraic Operations Plotkin, Gordon
 2001
 45 C p. 332-345
14 p.
 artikel
21 Stably Compact Spaces and Closed Relations Jung, Achim
 2001
 45 C p. 209-231
23 p.
 artikel
22 Time Stamps for Fixed-Point Approximation Damian, Daniel
 2001
 45 C p. 65-76
12 p.
 artikel
23 Transfer Principles for Reasoning About Concurrent Programs Brookes, Stephen
 2001
 45 C p. 22-40
19 p.
 artikel
24 Typing Correspondence Assertions for Communication Protocols Gordon, Andrew D.
 2001
 45 C p. 119-140
22 p.
 artikel
25 Unique Fixed Points in Domain Theory Martin, Keye
 2001
 45 C p. 258-268
11 p.
 artikel
                             25 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland