Author:
Cherkasova Ludmila A.,Kotov Vadim E.
Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. Brookes S.D., Hoare C.A.R., Roscoe A.D. A Theory of Communicating Sequential Processes. Journal of ACM, Vol. 31, No 3, pp. 560–599, 1984.
2. Cherkasova L.A. On Models and Algebras for Concurrent Processes. LNCS Lecture Notes in Computer Science, Springer-Verlag, vol. 324, p. 27–43.
3. Cherkasova L., Kotov V. Descriptive and Analytical process algebras. Proceedings of 9-th European workshop on Theory and Applications of Petri Nets, p. 38–57, 1988. Will appear in LNCS, Advances in Petri Nets — 1989.
4. Genrich H., Lautenbach K., Thiagarajan P.S. Elements of General Net Theory, LNCS Lecture Notes in Computer Science, Springer-Verlag, vol. 84, p. 21–164.
5. Hoare C.A.R.. Communicating Sequential Processes. Prentice Hall, London, 1985.