Process Algebra for Modal Transition Systemses

Základní údaje

Originální název Process Algebra for Modal Transition Systemses
Autoři

Další údaje

Citace BENEŠ, Nikola a Jan KŘETÍNSKÝ. Process Algebra for Modal Transition Systemses. In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS'10) -- Selected Papers. Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2011. s. 9--18, 10 s. ISBN 978-3-939897-22-4.
Originální název angličtina
Obor Informatika
WWW
Druh Článek ve sborníku
Klíčová slova modal transition systems; process algebra; specification

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

Další info