The Name Discipline of Uniform Receptiveness (Extended Abstract)

@inproceedings{Sangiorgi1997TheND,
  title={The Name Discipline of Uniform Receptiveness (Extended Abstract)},
  author={Davide Sangiorgi},
  booktitle={ICALP},
  year={1997}
}
12 Citations
17 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 17 references

Locality and failures II

  • R Amadio
  • Locality and failures II
  • 1997

Typed -calculus at work: a proof of Jones's parallelisation transformation on concurrent objects. Presented at Fourth Workshop on Foundations of Object-Oriented Languages Available as ftp

  • D Sangiorgi
  • Typed -calculus at work: a proof of Jones's…
  • 1997

The Reeexive Chemical Abstract Machine and the Join calculus

  • C Fournet, G Gonthier
  • Proc. 23th POPL
  • 1996

Similar Papers

Loading similar papers…