A formalization of a concurrent object calculus up to alpha-conversion (2000)

by G Gillard
Venue:Proceedings 17th International Conference on Automated Deduction (CADE), volume 1831 of LNCS