Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. S. Abramsky [1986] A Domain Equation for Bisimulation, unpublished manuscript, 1986
2. S. Abramsky [1987] Domain Theory in Logical Form, in Proc. of the IEEE Sympsoium on Logic in Computer Science (LICS '87), IEEE Computer Society Press (1987) 47–53
3. S.D. Brookes [1985] An Axiomatic Treatment of a Parallel Programming Language, in Logics of Programs (edited by R. Parikh), Lecture Notes in Computer Science 193, Springer (1985) 41–60
4. J. de Bakker [1980] Mathematical Theory of Program Correctness, Prentice Hall, New Jersey, 1980
5. A. Cremers & S. Ginsburg [1975] Context-free grammar forms, in J. Comput. System Sci. (1) (1975) 86–116
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Bibliography;Electronic Notes in Theoretical Computer Science;2001-05
2. The convex powerdomain in a category of posets realized by cpos;Category Theory and Computer Science;1995
3. Semantically based axiomatics;Mathematical Foundations of Programming Language Semantics;1988