Semantics for Finite Delay (1997)

by C Hartonas
Venue:Theoretical Computer Science