Ivan Jeukens, Marius Strum. On the Choice of Models of Computation for Writing Executable Specifications of System Level Designs. In Proceedings of the 13th Annual Symposium on Integrated Circuits and Systems Design, SBCCI 2000, Manaus, Brazil, September 18-24, 2000. pages 159-164, IEEE Computer Society, 2000. [doi]
Abstract is missing.