Volume 21; Issue 5

Acta Informatica

Volume 21; Issue 5
1

A fair calculus of communicating systems

Gerardo Costa, Colin Stirling
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 1.26 MB
english, 1984
2

A set-theoretic semantics for Clear

D. T. Sannella
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 1.51 MB
english, 1984
3

Polyvariant mixed computation for analyzer programs

M. A. Bulyonkov
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 532 KB
english, 1984
4

The paging drum queue: A uniform perspective and further results

C. H. C. Leung, Q. H. Choo
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 917 KB
english, 1984
5

Space sweep solves intersection of convex polyhedra

Stefan Hertel, Martti Mäntylä, Kurt Mehlhorn, Jurg Nievergelt
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 949 KB
english, 1984
6

Finite complete rewriting systems and the complexity of the word problem

G. Bauer, F. Otto
Journal:
Acta Informatica
Year:
1984
Language:
english
File:
PDF, 1.11 MB
english, 1984