Modal logics for timed process algebras

BRIM, Luboš. Modal logics for timed process algebras. In First North American First North American Process Algebra Workshop. Workshops in Computing, Springer-Verlag, 1992, s. 13-28. ISBN 3-540-19822-9.

Základní údaje

Originální název

Modal logics for timed process algebras

Název anglicky

Modal logics for timed process algebras

Autoři

BRIM, Luboš

Vydání

First North American First North American Process Algebra Workshop, od s. 13-28, 1992

Nakladatel

Workshops in Computing, Springer-Verlag

---

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

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

Organizační jednotka

Fakulta informatiky

ISBN

3-540-19822-9

Klíčová slova anglicky

process algebra

Štítky

process algebra