Modifications of Expansion Trees for Weak Bisimulation in BPA

Základní údaje

Originální název Modifications of Expansion Trees for Weak Bisimulation in BPA
Autoři

Další údaje

Citace ČERNÁ, Ivana a Jitka STŘÍBRNÁ. Modifications of Expansion Trees for Weak Bisimulation in BPA. In Verification of Infinite-State Systems Infinity'2002. The Netherlands: Elsevier Science Publishers, 2002. s. 1-21. ISBN 0444512918.
Originální název angličtina
Obor Počítačový hardware a software
Druh Článek ve sborníku
Klíčová slova process algebra; weak bisimulation; decidability

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info