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]
@inproceedings{BreuerM95,
title = {A native process algebra for VHDL},
author = {Peter T. Breuer and Natividad MartÃnez Madrid},
year = {1995},
doi = {10.1145/224270.224361},
url = {http://doi.acm.org/10.1145/224270.224361},
tags = {process algebra, algebra},
researchr = {https://researchr.org/publication/BreuerM95},
cites = {0},
citedby = {0},
pages = {420-426},
booktitle = {Proceedings EURO-DAC 95, European Design Automation Conference with EURO-VHDL, Brighton, England, UK, September 18-22, 1995},
publisher = {IEEE Computer Society},
isbn = {0-8186-7156-4},
}