119
Voted
AIML
1998
15 years 4 months ago
1998
Generalizing an example from (Fine 1975) and inspired by a theorem in (J
126
click to vote
FMCO
2005
Springer
15 years 9 months ago
2005
Springer
We present a method for decomposing modal formulas for processes with the internal action τ. To decide whether a process algebra term satisfies a modal formula, one can check whe...