Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)

BRIM, Luboš and Isabelle LINDEN. Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005). NIzozemsko: Elsevier, 2006, 159 pp. ENTCS Volume 150, Issue 1. ISBN 1571-0661.

Basic information

• Original name: Proceedings of the First International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2005)
• Name in Czech: Sborník, Prvni mezinarodni workshop "Metody a nastroje pro koordinujici soubezne, distribuovane a mobilni systemy"
• Authors: BRIM, Luboš and Isabelle LINDEN.
• Edition: NIzozemsko, 159 pp. ENTCS Volume 150, Issue 1, 2006.
• Publisher: Elsevier

Other information

• Original language: English
• Type of outcome: Book on a specialized topic
• Field of Study: 10201 Computer sciences, information science, bioinformatics
• Country of publisher: Netherlands
• Confidentiality degree: is not subject to a state or trade secret
• Organization unit: Faculty of Informatics
• ISBN: 1571-0661
• Keywords in English: Concurrent; Distributed and Mobile Systems
• Tags: Concurrent, Distributed and Mobile Systems
• Tags: International impact

Abstract

This volume contains the preproceedings of the 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems.

Abstract (in Czech)

Obsahem svazku je sborník seminare Metody a nastroje pro koordinujici soubezne, distribuovane a mobilni systemy

Links

• GA201/06/1338, research and development project: Name: Automatizovaná verifikace softwaru

Investor: Czech Science Foundation, Automated software verification

• MSM0021622419, plan (intention): Name: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems