118
click to vote
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Recently we proposed a mathematical framework offering diverse models of computation and a formal foundation for correct-byconstruction deployment of synchronous designs over dist...