Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Aho, A. V., Hopcroft, J. E. & Ullman, J. D.: The Design and Analysis of Computer Algorithms. Addison-Wesley 1974. 470 p.
2. Back, R. J. R. & Kurki-Suonio, R.: Distributed Cooperation with Action Systems. ACM Transactions on Programming Languages and Systems, Vol 10, No. 4 1988, pp. 513–554.
3. Brauer, W., Reisig, W. & Rozenberg, G. (ed.): Petri Nets: Central Models and Their Properties. Advances in Petri Nets 1986, Part I, Proceedings of an Advanced Course, Bad Honnef, September 1986. Lecture Notes in Computer Science 254, Springer 1987. 480 p.
4. Brookes, S. D., Hoare, C. A. R. & Roscoe, A. W.: A Theory of Communicating Sequential Processes. Journal of the ACM 31 (3) 1984, pp. 560–599.
5. Genrich, H.: Predicate/Transition Nets. In: [Brauer & 87], pp. 207–247.
Cited by
157 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献