From partial orders with projections to domains. Extended abstract (1999)

by R Kummetz
Venue:Mathematical Foundations of Programming Semantics, Fifteenth Conference, volume 20 of Electronic Notes in Theoretical Computer Science