Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire)

Yann Hamdaoui. Concurrency, references and linear logic. (Concurrences, Références et Logique Linéaire). PhD thesis, Sorbonne Paris Cité, France, 2018. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.