Author:
Ottens Arlet,Toetenel Hans
Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. J.C.M. Baeten. Procesalgebra. Kluwer Programmatuurkunde, 1986.
2. D. BjØrner. Towards a meaning of ‘M’ in VDM. In J. Diaz and F. Oregas, editors, Tapsoft-89, volume 352 of LNCS, pages 1–35. Springer Verlag, 1989.
3. D. BjØrner and C.B. Jones. Formal Specification & Software Development. PHI. Prentice Hall, 1982.
4. L. Chen, S. Anderson, and F. Moller. A timed calculus of communicating systems. Technical Report LFCS-90-127, University of Edinburgh, 1990.
5. N. Francez. Fairness. Texts and Monographs in Computer Science. Springer Verlag, 1986.