FM
2001
Springer
14 years 4 months ago
2001
Springer
We present a novel result for a logic for symbolic transition systems based on LOTOS processes. The logic is adequate with respect to bisimulation de ned on symbolic transition sys...