Specifying Properties of Concurrent Computations in CLF (2004)

by Kevin Watkins , Iliano Cervesato , Frank Pfenning , David Walker
Citations:5 - 4 self