Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Tytuł pozycji:

The modal mu-calculus: a survey

Szczegóły
Abstrakt

Tytuł:: The modal mu-calculus: a survey
Autorzy:: Lenzi, G.
Data publikacji:: 2005
Słowa kluczowe:: mu-calculus
fixed points
model checking
Język:: angielski
Dostawca treści:: BazTech
: Artykuł

Przejdź do źródła

The modal mu-calculus is an extension of modal logic with two operators mu and ni, 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 mu-calculus and its applications to computer science.

Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies

Informacja

The modal mu-calculus: a survey