Compiling polychronous programs into conditional partial orders for ASIP synthesis

Mahesh Nanjundappa, Sandeep K. Shukla. Compiling polychronous programs into conditional partial orders for ASIP synthesis. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 38-44, ACM, 2014. [doi]

@inproceedings{NanjundappaS14,
  title = {Compiling polychronous programs into conditional partial orders for ASIP synthesis},
  author = {Mahesh Nanjundappa and Sandeep K. Shukla},
  year = {2014},
  doi = {10.1145/2593489.2593498},
  url = {http://doi.acm.org/10.1145/2593489.2593498},
  researchr = {https://researchr.org/publication/NanjundappaS14},
  cites = {0},
  citedby = {0},
  pages = {38-44},
  booktitle = {Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014},
  editor = {Stefania Gnesi and Nico Plat},
  publisher = {ACM},
  isbn = {978-1-4503-2853-1},
}