From operational semantics to domain theory. (Submitted; currently available as URL file://ftp.cs.jhu.edu/pub/scott/fosdt.ps.Z (1994)

by I A Mason, S F Smith, C L Talcott