6 search results - page 2 / 2 » Algorithmic Algebraic Model Checking II: Decidability of Sem... |
MPC
2010
Springer
13 years 10 months ago
2010
Springer
Synchronous functional languages such as Lustre or Lucid Synchrone define a restricted class of Kahn Process Networks which can be executed with no buffer. Every expression is as...