References

[1]

M. Broy and K. Stølen, editors. Specification and Development of Interactive Systems. Springer-Verlag, 2001.

[2]

W.-P. de Roever, F. de Boer, U. Hannemann, J. Hooman, Y. Lakhnech, M. Poel, and J. Zwiers. Concurrency Verification: Introduction to Compositional and Noncompositional Proof Methods. Cambridge University Press, 2001. to appear.

[3]

J. Misra. A Discipline of Multiprorgamming. Springer-Verlag, 2001.