Concurrency-Enhancing Transformations for Asynchronous Behavioral Specifications: A Data-Driven Approach

John Hansen, Montek Singh. Concurrency-Enhancing Transformations for Asynchronous Behavioral Specifications: A Data-Driven Approach. In 14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, Newcastle upon Tyne, UK, April 7-10, 2008. pages 15-25, IEEE Computer Society, 2008. [doi]

@inproceedings{HansenS08-1,
  title = {Concurrency-Enhancing Transformations for Asynchronous Behavioral Specifications: A Data-Driven Approach},
  author = {John Hansen and Montek Singh},
  year = {2008},
  doi = {10.1109/ASYNC.2008.20},
  url = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.2008.20},
  researchr = {https://researchr.org/publication/HansenS08-1},
  cites = {0},
  citedby = {0},
  pages = {15-25},
  booktitle = {14th IEEE International Symposium on Asynchronous Circuits and Systems, ASYNC 2008, Newcastle upon Tyne, UK, April 7-10, 2008},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3107-6},
}