Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: mu-calculus

Sortuj według:

Ogranicz wyniki do:

The modal mu-calculus: a survey

Lenzi G.

TASK Quarterly : scientific bulletin of Academic Computer Centre in Gdansk

2005

Vol. 9, No 3

293-316

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.