Publisher
Springer Berlin Heidelberg
Reference13 articles.
1. K. R. Apt and E. R. Olderog. Proof rules and transformations dealing with fairness. Science of Computer Programming, 3:65–100, 1983.
2. BP Innovation Centre and Edinburgh Portable Compilers Ltd. B-Tool Version 1.1, Reference Manual, 1991.
3. N. Brown. Correctness-Preserving Transformations for the Design of Parallel Program. In Internal note, 1994. full version.
4. N. Brown. A Sound Mapping from Abstract Algorithms to Occam Programs. In H.R. Arabnia, editor, Transputer Research and Applications Conference. IOS Press, October 1994. pages 218,231.
5. N. Brown and D. Méry. A proof environment for concurrent programs. In J. C. P. Woodcock, editor, FME'93: Industrial-Strength Formal Methods, pages 196–215. IFAD, Springer-Verlag, 1993. LNCS 670.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献