Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. Macário, F. J. S. and Oliveira, M. V. M. In Cornélio, M. and Roscoe, B., editors, SBMF, volume 9526, of Lecture Notes in Computer Science, pages 3-18, 2015. Springer.
Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. [link]Link  Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware. [link]Paper  bibtex   
@inproceedings{conf/sbmf/MacarioO15,
  added-at = {2016-01-25T00:00:00.000+0100},
  author = {Macário, F. J. S. and Oliveira, M. V. M.},
  biburl = {http://www.bibsonomy.org/bibtex/263cdc3fb29d43f61ab7f4efdceefa6f6/dblp},
  booktitle = {SBMF},
  crossref = {conf/sbmf/2015},
  editor = {Cornélio, Márcio and Roscoe, Bill},
  ee = {http://dx.doi.org/10.1007/978-3-319-29473-5_1},
  interhash = {74606776184f29e52b4a879eb9b37c0a},
  intrahash = {63cdc3fb29d43f61ab7f4efdceefa6f6},
  isbn = {978-3-319-29472-8},
  keywords = {dblp},
  pages = {3-18},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2016-01-26T11:45:38.000+0100},
  title = {Hard-Wiring CSP Hiding: Implementing Channel Abstraction to Generate Verified Concurrent Hardware.},
  url = {http://dblp.uni-trier.de/db/conf/sbmf/sbmf2015.html#MacarioO15},
  volume = 9526,
  year = 2015
}
Downloads: 0