| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A deterministic skip list for k-dimensional range search
|
Lamoureux, Michael G.
|
|
2005
|
|
4-5 |
p. 221-255
|
artikel
|
| 2 |
A general framework for types in graph rewriting
|
König, Barbara
|
|
2005
|
|
4-5 |
p. 349-388
|
artikel
|
| 3 |
A life dedicated to informatics: an obituary for Prof. Friedrich L. Bauer
|
Broy, Manfred
|
|
2015
|
|
4-5 |
p. 299-301
|
artikel
|
| 4 |
Analysis of range search for random k-d trees
|
Chanzy, Philippe
|
|
2001
|
|
4-5 |
p. 355-383
|
artikel
|
| 5 |
Compositional construction of most general controllers
|
Klein, Joachim
|
|
2015
|
|
4-5 |
p. 443-482
|
artikel
|
| 6 |
Compositional verification of asynchronous concurrent systems using CADP
|
Garavel, Hubert
|
|
2015
|
|
4-5 |
p. 337-392
|
artikel
|
| 7 |
Demonic, angelic and unbounded probabilistic choices in sequential programs
|
McIver, A.K.
|
|
2001
|
|
4-5 |
p. 329-354
|
artikel
|
| 8 |
Denotational fixed-point semantics for constructive scheduling of synchronous concurrency
|
Aguado, Joaquín
|
|
2015
|
|
4-5 |
p. 393-442
|
artikel
|
| 9 |
Families of automata characterizing context-sensitive languages
|
Morvan, Christophe
|
|
2005
|
|
4-5 |
p. 293-314
|
artikel
|
| 10 |
Fast allocation and deallocation with an improved buddy system
|
Brodal, Gerth Stølting
|
|
2005
|
|
4-5 |
p. 273-291
|
artikel
|
| 11 |
Hybrid networks of evolutionary processors are computationally complete
|
Csuhaj-Varjú, Erzsébet
|
|
2005
|
|
4-5 |
p. 257-272
|
artikel
|
| 12 |
Letter from the Editor
|
Broy, Manfred
|
|
2001
|
|
4-5 |
p. 227-228
|
artikel
|
| 13 |
Refinement of actions and equivalence notions for concurrent systems
|
van Glabbeek, Rob
|
|
2001
|
|
4-5 |
p. 229-327
|
artikel
|
| 14 |
Richer interface automata with optimistic and pessimistic compatibility
|
Lüttgen, Gerald
|
|
2014
|
|
4-5 |
p. 305-336
|
artikel
|
| 15 |
safeDpi: a language for controlling mobile code
|
Hennessy, Matthew
|
|
2005
|
|
4-5 |
p. 227-290
|
artikel
|
| 16 |
Special issue on “Combining Compositionality and Concurrency”: part 2
|
Glabbeek, Rob J. van
|
|
2015
|
|
4-5 |
p. 303-304
|
artikel
|
| 17 |
Type-based hot swapping of running modules
|
Duggan, Dominic
|
|
2005
|
|
4-5 |
p. 181-220
|
artikel
|
| 18 |
Type-based information flow analysis for the π-calculus
|
Kobayashi, Naoki
|
|
2005
|
|
4-5 |
p. 291-347
|
artikel
|
Tijdschrift beschrijving