A Logical Viewpoint on Process-Algebraic Quotients

KUČERA, Antonín and 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, p. 499-514. Lecture Notes in Computer Science, vol. 1683. ISBN 3-540-66536-6.

Basic information

Original name

A Logical Viewpoint on Process-Algebraic Quotients

Authors

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

Edition

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

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

20206 Computer hardware and architecture

Country of publisher

Germany

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/99:00001125

Organization unit

Faculty of Informatics

ISBN

3-540-66536-6

UT WoS

000170515700034

Keywords in English

verification; concurrency; logic; process descriptions

Tags

concurrency, logic, process descriptions, verification

---

Links

GA201/97/0456, research and development project	Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Czech Science Foundation, Algorithmic Verification Boundaries for Infinite-State Systems
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing