Decidability of Performance Equivalence for Basic Parallel Processes

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiDecidability of Performance Equivalence for Basic Parallel Processes
Adres internetowy
Tytuł czasopismaTHEORETICAL COMPUTER SCIENCE
Mediumpublikacja drukowana
Tom360
Zeszyt
Rok wydania2006
Od strony172
Do strony192
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]