@inproceedings{99ddd1af536646acb3169c4302a6f9b0,
title = "Partial-order reduction in the weak modal mu-calculus",
abstract = "We present a partial-order reduction technique for local model checking of hierarchical networks of labeled transition systems in the weak modal mu-calculus. We have implemented our technique in the Concurrency Factory specification and verification environment; experimental results show that partial-order reduction can be highly effective in combating state explosion in modal mu-calculus model checking.",
author = "Ramakrishna, \{Y. S.\} and Smolka, \{Scott A.\}",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1997.; 8th International Conference on Concurrency Theory, CONCUR 1997 ; Conference date: 01-07-1997 Through 04-07-1997",
year = "1997",
doi = "10.1007/3-540-63141-0\_2",
language = "English",
isbn = "3540631410",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "5--24",
editor = "Antoni Mazurkiewicz and J{\'o}zef Winkowski",
booktitle = "CONCUR 1997",
}