149 search results - page 1 / 30 » State Space Reduction for Process Algebra Specifications |
AMAST
2004
Springer
13 years 8 months ago
2004
Springer
ATVA
2009
Springer
13 years 11 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...
EPEW
2006
Springer
13 years 8 months ago
2006
Springer
In this paper, we introduce FPS, a mechanism to define performance measures for stochastic process algebra models. FPS is a functional performance specification language which desc...
AMAST
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract— We present a systematic method for model reduction of a class of input-quantized systems in the max-plus algebra. We consider a generalization of the flow shop with ...