Analyzing Semantics of Concurrent Hardware Specifications

Leonid Ya. Rosenblum, Alexandre Yakovlev. Analyzing Semantics of Concurrent Hardware Specifications. In ICPP (2). pages 211-218, 1989.

@inproceedings{RosenblumY89,
  title = {Analyzing Semantics of Concurrent Hardware Specifications},
  author = {Leonid Ya. Rosenblum and Alexandre Yakovlev},
  year = {1989},
  tags = {semantics},
  researchr = {https://researchr.org/publication/RosenblumY89},
  cites = {0},
  citedby = {0},
  pages = {211-218},
  booktitle = {ICPP (2)},
}