A native process algebra for VHDL

Peter T. Breuer, Natividad Martínez Madrid. A native process algebra for VHDL. In Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995. pages 420-426, IEEE Computer Society, 1995. [doi]

Abstract

Abstract is missing.