A Formalization of a Concurrent Object Calculus Up to Alpha-Conversion (1999)
by
Guillaume Gillard
,
Inria Sophia Antipolis
| Citations: | 3 - 0 self |
Document Versions
| A Formalization of a Concurrent Object Calculus Up to Alpha-Conversion –Guillaume Gillard, Inria Sophia Antipolis — 1999 |
