Author:
Francez Nissim,Forman Ira R.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Krzysztof R. Apt. Ten years of Hoare's logic: A survey — part i. ACM Transactions on Programming Languages and Systems, 3(4):431–483, October 1981.
2. Paul C. Attie. A guide to raddle87 semantics. Technical Report STP-340-87, MCC, January 11 1988.
3. Paul C. Attie, Nissim Francez, and Orna Grumberg. Fairness and hyperfairness in multi-party interactions. In 17th ACM-POPL, pages 292–305, San-Francisco, CA, January 17–19 1990.
4. Ralph-J. R. Back. A calculus of refinement for program derivation. Acta Informatica, 25:593–624, 1988.
5. Ralph-J. R. Back. Changing the data representation in the refinement calculus. In 21 Hawaii International Conference on Systems Science, January 1989.