A Logical Viewpoint on Process-Algebraic Quotients

KUČERA, Antonín a Javier ESPARZA. A Logical Viewpoint on Process-Algebraic Quotients. J. Flum, M. Rodríguez-Artalejo (Eds.). In Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99). Berlin: Springer, 1999, s. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.

Základní údaje

Originální název

A Logical Viewpoint on Process-Algebraic Quotients

Autoři

KUČERA, Antonín a Javier ESPARZA
J. Flum, M. Rodríguez-Artalejo (Eds.).

Vydání

Berlin, Computer Science Logic; Proceedings of 8th Annual Conference of the EACSL (CSL´99), s. 499-514, Lecture Notes in Computer Science, vol. 1683, 1999

Nakladatel

Springer

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

20206 Computer hardware and architecture

Stát vydavatele

Německo

Utajení

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

Kód RIV

RIV/00216224:14330/99:00001125

Organizační jednotka

Fakulta informatiky

ISBN

3-540-66536-6

UT WoS

000170515700034

Klíčová slova anglicky

verification; concurrency; logic; process descriptions

Štítky

concurrency, logic, process descriptions, verification

---

Návaznosti

GA201/97/0456, projekt VaV	Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů
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ů