Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences

Dane publikacji
Typ publikacji	Publikacja w czasopi¶mie
Rodzaj publikacji	Artykuł
Tytuł publikacji	Normed Processes, Unique Decomposition, and Complexity of Bisimulation Equivalences
Adres internetowy
Tytuł czasopisma	ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Medium
Tom	239
Zeszyt
Rok wydania	2009
Od strony	17
Do strony	42
Numer publikacji
Język publikacji	Angielski
Język etniczny badanej kultury
Zasięg	międzynarodowy
Rok sprawozdawczy	2009