Topology, Domain Theory and Theoretical Computer Science (1997)

by Michael W. Mislove
Citations:10 - 2 self

Active Bibliography

458 Domain Theory – Samson Abramsky, Achim Jung - 1994
A Complete Order-theoretic Model for the Algebra of Communicating Processes – Peter M.W. Knijnenburg - 1994
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
944 A theory of type polymorphism in programming – Robin Milner - 1978
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
543 Composing Specifications – Martín Abadi, Leslie Lamport - 1993