@article{33ec6fa0ef8342d492dadfcb9d27c2e5,
title = "Tokens vs. Signals: On Conformance between Formal Models of Dataflow and Hardware",
keywords = "Conformance, Dataflow, Finite state machines, Formal methods, Hardware design, Hardware synthesis, Verification, Conformance, Dataflow, Finite state machines, Formal methods, Hardware design, Hardware synthesis, Verification, Conformance, Dataflow, Finite state machines, Formal methods, Hardware design, Hardware synthesis, Verification",
author = "Stavros Tripakis and Rhishikesh Limaye and Kaushik Ravindran and Guoqiang Wang and Hugo Andrade and Arkadeb Ghosal",
note = "VK: Tripakis, S.",
year = "2016",
doi = "10.1007/s11265-015-0971-y",
language = "English",
volume = "85",
pages = "23–43",
journal = " Journal of Signal Processing Systems",
issn = "1939-8018",
publisher = "Springer",
number = "1",
}