Eugene W. Stark Connections between a Concrete and an Abstract Model of Concurrent Systems. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:53-79 [Conf]

George M. Reed A Hierarchy of Domains for Real-Time Distributed Computing. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:80-128 [Conf]

Geoff Barrett The Semantics of Priority and Fairness in occam. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:194-208 [Conf]

Karoline Malmkjær On Some Semantic Issues in the Reflective Tower. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:229-246 [Conf]

Elsa L. Gunter Pseudo-Retract Functors for Local Lattices and Bifinite L-domains. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:351-363 [Conf]

Radha Jagadeesan L-domains and Lossless Powerdomains. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:364-372 [Conf]

Ana Pasztor Does "N+1 Times" Prove More Programs Correct Than "N Times"? [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:373-389 [Conf]

A. John Power An Algebraic Formulation for Data Refinement. [Citation Graph (0, 0)][DBLP] Mathematical Foundations of Programming Semantics, 1989, pp:390-401 [Conf]