Observationally-induced algebras in domain theory. (English) Zbl 1337.68158
Liu, Ying-Ming (ed.) et al., Proceedings of the 6th international symposium on domain theory and its applications (ISDT), Changsha, China, October 25–29, 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 301, 21-37, electronic only (2014).