An Operational Semantics for a Parallel Language with Continuations (1992)

by Luc Moreau
Venue:Parallel Architectures and Languages Europe (PARLE'92), number 14 in Lecture Notes in Computer Science