THE MODAL µ-CALCULUS: A SURVEY
The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets. This powerful logic is widely used in computer science, in the area of verification of correctness of concurrent systems. In this survey we...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Gdańsk University of Technology
2005-07-01
|
| Series: | TASK Quarterly |
| Subjects: | |
| Online Access: | https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2132 |
| _version_ | 1818241378679783424 |
|---|---|
| author | GIACOMO LENZI |
| author_facet | GIACOMO LENZI |
| author_sort | GIACOMO LENZI |
| collection | DOAJ |
| description |
The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets. This powerful logic is widely used in computer science, in the area of verification of correctness of concurrent systems. In this survey we review both the theoretical aspects of the modal µ-calculus and its applications to computer science.
|
| first_indexed | 2024-12-12T13:28:23Z |
| format | Article |
| id | doaj.art-3c3858f737b04247b9bda1a46646b7c7 |
| institution | Directory Open Access Journal |
| issn | 1428-6394 |
| language | English |
| last_indexed | 2024-12-12T13:28:23Z |
| publishDate | 2005-07-01 |
| publisher | Gdańsk University of Technology |
| record_format | Article |
| series | TASK Quarterly |
| spelling | doaj.art-3c3858f737b04247b9bda1a46646b7c72022-12-22T00:23:07ZengGdańsk University of TechnologyTASK Quarterly1428-63942005-07-0193THE MODAL µ-CALCULUS: A SURVEYGIACOMO LENZI0University of Pisa, Department of Mathematics The modal µ-calculus is an extension of modal logic with two operators µ and ν, which give the least and greatest fixpoints of monotone operators on powersets. This powerful logic is widely used in computer science, in the area of verification of correctness of concurrent systems. In this survey we review both the theoretical aspects of the modal µ-calculus and its applications to computer science. https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2132µ-calculusfixed pointsmodel checking |
| spellingShingle | GIACOMO LENZI THE MODAL µ-CALCULUS: A SURVEY TASK Quarterly µ-calculus fixed points model checking |
| title | THE MODAL µ-CALCULUS: A SURVEY |
| title_full | THE MODAL µ-CALCULUS: A SURVEY |
| title_fullStr | THE MODAL µ-CALCULUS: A SURVEY |
| title_full_unstemmed | THE MODAL µ-CALCULUS: A SURVEY |
| title_short | THE MODAL µ-CALCULUS: A SURVEY |
| title_sort | modal µ calculus a survey |
| topic | µ-calculus fixed points model checking |
| url | https://journal.mostwiedzy.pl/TASKQuarterly/article/view/2132 |
| work_keys_str_mv | AT giacomolenzi themodalμcalculusasurvey AT giacomolenzi modalμcalculusasurvey |