|
Journals in DBLP
Acta Inf. 1996, volume: 33, number: 1
- Gadi Taubenfeld, Shlomo Moran
Possibility and Impossibility Results in a Shared Memory Environment. [Citation Graph (0, 0)][DBLP] Acta Inf., 1996, v:33, n:1, pp:1-20 [Journal]
- Dominic Duggan, Gordon V. Cormack, John Ophel
Kinded Type Inference for Parametric Overloading. [Citation Graph (0, 0)][DBLP] Acta Inf., 1996, v:33, n:1, pp:21-68 [Journal]
- Davide Sangiorgi
A Theory of Bisimulation for the pi-Calculus. [Citation Graph (0, 0)][DBLP] Acta Inf., 1996, v:33, n:1, pp:69-97 [Journal]
|