Faster algorithm for bisimulation equivalence of normed context-free processes

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiFaster algorithm for bisimulation equivalence of normed context-free processes
Adres internetowy
Tytuł czasopismaLECTURE NOTES IN COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom4162
Zeszyt
Rok wydania2006
Od strony646
Do strony657
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2006

Lista autorów
  
 1. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]
 2. Wojciech Rytter, Zakład Analizy Algorytmów [Współautor]