Approximating Weak Bisimulation on Basic Process Algebras

STŘÍBRNÁ, Jitka. Approximating Weak Bisimulation on Basic Process Algebras. In Mathematical Foundations of Computer Science 1999, Proceedings. Berlin Heidelberg New York: Springer-Verlag, 1999, s. 366-374. Lecture Notes in Computer Science 1672. ISBN 3-540-66408-4.

Základní údaje

Originální název

Approximating Weak Bisimulation on Basic Process Algebras

Autoři

STŘÍBRNÁ, Jitka

Vydání

Berlin Heidelberg New York, Mathematical Foundations of Computer Science 1999, Proceedings, s. 366-374, Lecture Notes in Computer Science 1672, 1999

Nakladatel

Springer-Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10101 Pure mathematics

Stát vydavatele

Polsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14330/99:00001148

Organizační jednotka

Fakulta informatiky

ISBN

3-540-66408-4

Klíčová slova anglicky

basic process algebra; weak bisimulation; approximants; lower and upper bound

Štítky

approximants, basic process algebra, lower and upper bound, weak bisimulation

---

Návaznosti

GA201/99/D026, projekt VaV	Název: Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech Investor: Grantová agentura ČR, Rozhodnutelnost a složitost observačních ekvivalencí na nekonečně stavových procesech
MSM 143300001, záměr	Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů