An Estelle Compiler for Multiprocessor Platforms

Stefan Fischer, Bernd Hofmann. An Estelle Compiler for Multiprocessor Platforms. In Richard L. Tenney, Paul D. Amer, M. Ümit Uyar, editors, Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques - FORTE 93, Boston, MA, USA, 26-29 October 1993. Volume C-22 of IFIP Transactions, pages 171-186, North-Holland, 1993.

Abstract

Abstract is missing.