PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

BRIM, Luboš and Orna GRUMBERG. PDMC 2003 - Parallel and Distributed Model Checking. Proceedings. Nizozemsko: Elsevier, 2003, 130 pp. ENTCS, Vol. 89, No. 1.

Basic information

Original name

PDMC 2003 - Parallel and Distributed Model Checking. Proceedings.

Authors

BRIM, Luboš (203 Czech Republic, guarantor) and Orna GRUMBERG (376 Israel)

Edition

Nizozemsko, 130 pp. ENTCS, Vol. 89, No. 1, 2003

Publisher

Elsevier

---

Other information

Language

English

Type of outcome

Odborná kniha

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Netherlands

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/03:00008595

Organization unit

Faculty of Informatics

Keywords in English

model checking; parallel computing; distributed computing

Tags

distributed computing, Model checking, parallel computing

Tags

International impact

---

Abstract

V originále

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking (PDMC 2003) held in Boulder, Colorado, USA, Juy 14, 2003.

---

Links

GA201/03/0509, research and development project	Name: Automatizovaná verifikace paralelních a distribuovaných systémů Investor: Czech Science Foundation, Automated Verification of Parallel and Distributed 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