DOI10.1016/0304-3975(95)00088-7zbMath0872.68105MaRDI QIDQ672756
Juan-Miguel Gracia
Publication date: 28 February 1997 Published in: Theoretical Computer Science (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1016/0304-3975(95)00088-7
zbMATH Keywords
completed poset; cpo; fully abstract semantic models
Mathematics Subject Classification ID
68Q55: Semantics in the theory of computing
06B35: Continuous lattices and posets, applications
Cites Work