Skip to Main content Skip to Navigation
Journal articles

On the representation of McCarthy's amb in the Pi-calculus

Document type :
Journal articles
Complete list of metadatas

https://hal-upec-upem.archives-ouvertes.fr/hal-00619703
Contributor : Arnaud Carayol <>
Submitted on : Tuesday, September 6, 2011 - 5:18:26 PM
Last modification on : Friday, July 10, 2020 - 7:56:02 AM

Identifiers

  • HAL Id : hal-00619703, version 1

Collections

Citation

Arnaud Carayol, Daniel Hirschkoff, Davide Sangiorgi. On the representation of McCarthy's amb in the Pi-calculus. Theoretical Computer Science, Elsevier, 2005, 330 (3), pp.439-473. ⟨hal-00619703⟩

Share

Metrics

Record views

86