A Formalization of a Concurrent Object Calculus Up to Alpha-Conversion (1999)

Cached

Download Links

by Guillaume Gillard , Inria Sophia Antipolis
Citations:3 - 0 self