"Note on Some Order Properties Related to Processes Semantics (I)."

Dragos Vaida (2006)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics