Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Barnes, F.R.M., Welch, P.H.: Prioritised dynamic communicating and mobile processes. IEE Proceedings Software 150(2), 121–136 (2003)
2. Cavalcanti, L.C., Sampaio, A.C.A., Woodcock, J.C.P.: Refinement of actions in Circus. In: REFINE 2002, Electronic notes in Theoretical Computer Science (2002)
3. Cavalcanti, L.C., Sampaio, A.C.A., Woodcock, J.C.P.: A refinement strategy for Circus. Formal Aspects of Computing, (15), 146–181 (2003)
4. Hoare, C.A.R.: Communicating Sequential Process. Prentice-Hall, Englewood Cliffs (1985)
5. Hoare, C.A.R., Jifeng, H.: Unifying Theories of Programming. Prentice-Hall, Englewood Cliffs (1998)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献