Skip to main content
padlock icon - secure page this page is secure

Publisher: Springer Science and Media

Volume 33, Number 1, 1996

Possibility and impossibility results in a shared memory environment
pp. 1-20(20)
Authors: Taubenfeld, G.; Moran, S.

Favourites:
ADD

Kinded type inference for parametric overloading
pp. 21-68(48)
Authors: Duggan, D.; Cormack, G.; Ophel, J.

Favourites:
ADD

A theory of bisimulation for the �-calculus
pp. 69-97(29)
Author: Sangiorgi, D.

Favourites:
ADD

  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
X
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more