Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. J.D. Brock and W.B. Ackerman. Scenarios: a model of non-determinate computation. In Diaz and Ramos, editors, Formalization of Programming Concepts, volume 107 of Lecture Notes in Computer Science, pages 252–259. Springer Verlag, 1982.
2. J. Dugundji. Topology. Allen & Bacon, 1966.
3. R. Engelking. General Topology. Polish Scientific Publishers, 1977.
4. B. Jonsson and J.N. Kok. Comparing two fully abstract dataflow models. In Proc. PARLE, Lecture Notes in Computer Science. Springer Verlag, 1989.
5. B. Jonsson. Compositional Verification of Distributed Systems. PhD thesis, Dept. of Computer Systems, Uppsala University, Sweden, Uppsala, Sweden, 1987. Available as report DoCS 87/09, Dept. of Computer Systems, Uppsala University, Sweden.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献