A Framework for Deterministically Interleaved Interactive Programs in the Functional Programming Language Clean (1994)

by P Achten, M J Plasmeijer
Venue:In Programming Languages: Implementations, Logics and Programs (PLILP