Nie jesteś zalogowany |
Powrót do listy grantów
Procesy bezkontekstowe: teoria, algorytmy, zastosowania
- Kierownik
- prof. dr hab. Sławomir Lasota
- Numer umowy
- N N206 568640
- Data rozpoczęcia
- 20 kwietnia 2011
- Data zakończenia
- 19 kwietnia 2013
- Finansowany przez
- Narodowe Centrum Nauki
- Słowa kluczowe
- procesy współbieżne, algebra procesów ,procesy bezkontekstowe, przemienne procesy bezkontekstowe, równoważność bisymulacyjna.
