6 search results - page 2 / 2 » Parallel Processes with Real-Time and Data: The ATLANTIF Int... |
ATVA
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. We present a new method for fighting the state space explosion of process algebraic specifications, by performing static analysis on an intermediate format: linear proc...