| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A note on specifying and verifying concurrent processes
|
Holenderski, Leszek
|
|
1984
|
18 |
2 |
p. 77-85
9 p.
|
article
|
| 2 |
A parallel view of stable marriages
|
C. Hull, M.Elizabeth
|
|
1984
|
18 |
2 |
p. 63-66
4 p.
|
article
|
| 3 |
A partitioning algorithm for minimum weighted Euclidean matching
|
Dyer, M.E.
|
|
1984
|
18 |
2 |
p. 59-62
4 p.
|
article
|
| 4 |
A probabilistic analysis of an error-correcting algorithm for the towers of Hanoi puzzle
|
Scarioni, F.
|
|
1984
|
18 |
2 |
p. 99-103
5 p.
|
article
|
| 5 |
Extending binary Byzantine agreement to multivalued Byzantine agreement
|
Turpin, Russell
|
|
1984
|
18 |
2 |
p. 73-76
4 p.
|
article
|
| 6 |
Fifth Bonn workshop on combinatorial optimization 11-16 June 1984, Bonn, Fed. Rep. Germany
|
|
|
1984
|
18 |
2 |
p. 117-
1 p.
|
article
|
| 7 |
Insecurity of set controls for statistical databases
|
Schlörer, Jan
|
|
1984
|
18 |
2 |
p. 67-71
5 p.
|
article
|
| 8 |
On a circle-cover minimization problem
|
Lee, C.C.
|
|
1984
|
18 |
2 |
p. 109-115
7 p.
|
article
|
| 9 |
On legal path problems in digraphs
|
Ihm, Heung-Soon
|
|
1984
|
18 |
2 |
p. 93-98
6 p.
|
article
|
| 10 |
Remarks on two-way automata with weak-counters
|
Miyano, Satoru
|
|
1984
|
18 |
2 |
p. 105-107
3 p.
|
article
|
| 11 |
When do non-conflict-free multivalued dependency sets appear?
|
Katsuno, Hirofumi
|
|
1984
|
18 |
2 |
p. 87-92
6 p.
|
article
|
Journal description