Specifying Properties of Concurrent Computations in CLF (2004)

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