Author:
Andersen Henrik Reif,Mørk Simon,Sørensen Morten Ulrik
Publisher
Springer Berlin Heidelberg
Reference4 articles.
1. R.J. van Glabbeek. Comparative Concurrency Semantics and Refinement of Actions. PhD thesis, Free University, Amsterdam, 1990.
2. Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
3. Robin Milner, Joachim Parrow, and David Walker. A calculus of mobile processes (Parts I and II). Information and Computation, 100:1–77, 1992.
4. Alan M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. (Ser. 2), 42:230–265, 1937. A correction in volume 43 pp. 544–546.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献