DMCA
Local Logics for Traces (2000)
by
Igor Walukiewicz
| Venue: | Journal of Automata, Languages and Combinatorics |
| Citations: | 9 - 2 self |
BibTeX
@TECHREPORT{Walukiewicz00locallogics,
author = {Igor Walukiewicz},
title = {Local Logics for Traces},
institution = {Journal of Automata, Languages and Combinatorics},
year = {2000}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
A mu-calculus over dependence graph representation of traces is considered. It is shown that the mu-calculus cannot express all monadic second order (MSO) properties of dependence graphs.
