118
click to vote
CONCUR
1999
Springer
15 years 7 months ago
1999
Springer
In order to check whether an open system satisfies a desired property, we need to check the behavior of the system with respect to an arbitrary environment. In the most general se...