216
click to vote
CONCUR
1999
Springer
16 years 12 days 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...