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

View PDF

Download Links

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