Non-interleaving bisimulation equivalences on Basic Parallel Processes

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiNon-interleaving bisimulation equivalences on Basic Parallel Processes
Adres internetowy
Tytuł czasopismaINFORMATION AND COMPUTATION
Medium
Tom208
Zeszyt1
Rok wydania2010
Od strony42
Do strony62
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2010

Lista autorów
  
 1. Sibylle B. Fröschle, Jednostka zewnetrzna [Współautor]
 2. Petr Jancar, Jednostka zewnetrzna [Współautor]
 3. Sławomir Lasota, Zakład Logiki Stosowanej [Współautor]
 4. Zdenek Sawa, Jednostka zewnetrzna [Współautor]