Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Theoretical Computer Science,Software
Reference15 articles.
1. G. Kahn, The Semantics of a Simple Language for Parallel Programming, Info. Proc., pp. 471–475 (August 1974).
2. Abdi S., Gajski D. (2004). System Level Verification with Model Algebra, Technical Report CECS-TR-04-29, University of California, Irvine
3. C. Hoare, Communicating Sequential Processes, Prentice Hall (1985).
4. R. Milner, A Calculus of Communicating Systems, Springer (1980).
5. Harel D. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming. 8(3): 231–274 (June 1987), url citeseer.nj.nec.com/harel87statecharts.html.
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献