Approximating Weak Bisimilarity of Basic Parallel Processes

Dane publikacji
  
Typ publikacjiPublikacja w książce
Rodzaj publikacjiArtykuł konferencyjny
Tytuł publikacjiApproximating Weak Bisimilarity of Basic Parallel Processes
Adres internetowy
Tytuł książkiDCM
Tom
Od strony99
Do strony113
Liczba arkuszy
Liczba stron
Oznaczenie wydania
Miejsce wydania
Nazwa wydawcy
Rok wydania2012
Tytuł serii
Numer w serii
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2012

Lista autorów
  
 1. Piotr Hofman, Instytut Informatyki [Współautor]
 2. Patrick Totzke, Jednostka zewnetrzna [Współautor]