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 |