Volume 33, Issue 1 | Acta Informatica

Search all Acta Informatica articles

Volume 33, Issue 1

February 1996

Filter by

Volume:

Sort by

Date published:

New to old Old to new

3 articles in this issue

Possibility and impossibility results in a shared memory environment
Gadi Taubenfeld
Shlomo Moran
OriginalPaper Pages: 1 - 20
Kinded type inference for parameteric overloading
Dominic Duggan
Gordon Cormack
John Ophel
OriginalPaper Pages: 21 - 68
A theory of bisimulation for the π-calculus
Davide Sangiorgi
OriginalPaper Pages: 69 - 97