Non-interleaving bisimulation equivalences on Basic Parallel Processes
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Non-interleaving bisimulation equivalences on Basic Parallel Processes
Adres internetowy
Tytuł czasopisma
INFORMATION AND COMPUTATION
Medium
Tom
208
Zeszyt
1
Rok wydania
2010
Od strony
42
Do strony
62
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2010
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
]