76 search results - page 16 / 16 » Compositional Action System Derivation Using Enforced Proper... |
129
click to vote
LICS
1994
IEEE
15 years 6 months ago
1994
IEEE
The modal mu-calculus is an expressive logic that can be used to specify safety and liveness properties of concurrent systems represented as labeled transition systems (LTSs). We ...