COMPOS
1997
Springer
14 years 4 months ago
1997
Springer
COMPOS
1997
Springer
14 years 4 months ago
1997
Springer
We introduce a mathematical model of components that can be used for the description of both hardware and software units forming distributed interactive systems. As part of a distr...
COMPOS
1997
Springer
14 years 4 months ago
1997
Springer
COMPOS
1997
Springer
14 years 4 months ago
1997
Springer
COMPOS
1997
Springer
14 years 4 months ago
1997
Springer
The main problem in model checking that prevents it from being used for veri cation of large systems is the state explosion problem. This problem often arises from combining parall...