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
 
                             9 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract) Bravetti, Mario
 1999
 27 C p. 107-126
20 p.
 artikel
2 Decidability of Plain and Hereditary History-Preserving Bisimilarity for BPP Fröschle, Sibylle
 1999
 27 C p. 85-106
22 p.
 artikel
3 Deriving a Graph Rewriting System from a Complete Finite Prefix of an Unfolding Langerak, Rom
 1999
 27 C p. 25-41
17 p.
 artikel
4 On Equators in Asynchronous Name-passing Calculi without Matching – Extended Abstract – Merro, Massimo
 1999
 27 C p. 57-70
14 p.
 artikel
5 On the expressiveness of Timed Concurrent Constraint Programming Tini, Simone
 1999
 27 C p. 3-17
15 p.
 artikel
6 Partial order reductions for failures refinement Wehrheim, Heike
 1999
 27 C p. 71-84
14 p.
 artikel
7 Petri nets with generalized algebra: a comparison Juhás, Gabriel
 1999
 27 C p. 42-56
15 p.
 artikel
8 Preface Castellani, Ilaria
 1999
 27 C p. 1-2
2 p.
 artikel
9 Towards Verified Lazy Implementation of Concurrent Value-Passing Languages (Abstract) Ingólfsdóttir, Anna
 1999
 27 C p. 18-24
7 p.
 artikel
                             9 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland