139
Voted
SEFM
2006
IEEE
15 years 11 months ago
2006
IEEE
We present an operational model for describing random reactive systems. Some models have already been proposed for this purpose, but they generally aim at performing global reason...