Reference38 articles.
1. P. H. G. Aczel. On an inference rule for parallel composition, 1983. private communication.
2. H. Bekr and C.B. Jones (ed.). Programming Languages and Their Definition, volume 177 of Lecture Notes in Computer Science. Springer-Verlag, 1984.
3. R. Bloomfield, R. B. Jones, and L. S. Marshall, editors. VDM’88: VDM — The Way Ahead, volume 328 of Lecture Notes in Computer Science. Springer-Verlag, 1988.
4. H. Barringer and R. Kuiper. Hierachical development of concurrent systems in a temporal logic framework. In Proceedings of NSFISERC Seminar on Concurrency, CMU, Pittsburgh, 1984.
5. H. Barringer, R. Kuiper, and A. Pnueli. Now you can compose temporal logic specification. In Proceedings of 16th ACM STOC, Washington, May 1984.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Select Z Bibliography;ZUM ’98: The Z Formal Specification Notation;1998
2. Select Z Bibliography;Workshops in Computing;1992
3. Reasoning about interference in an object-based design method;Lecture Notes in Computer Science