MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems

BRIM, Luboš and Isabelle LINDEN. MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems. 2005.

Basic information

Original name

MTCoord 2005 1st International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems

Name in Czech

MTCoord 2005 1. mezinárodní workshop o metodách a nástrojích pro koordinaci souběžných a mobilních systémů

Authors

BRIM, Luboš (203 Czech Republic, guarantor) and Isabelle LINDEN (56 Belgium)

Edition

2005

---

Other information

Language

English

Type of outcome

Uspořádání workshopu

Field of Study

10201 Computer sciences, information science, bioinformatics

Country of publisher

Belgium

Confidentiality degree

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

RIV identification code

RIV/00216224:14330/05:00013425

Organization unit

Faculty of Informatics

Keywords in English

Concurrent; Distributed and Mobile Systems

Tags

Concurrent, Distributed and Mobile Systems

Tags

International impact

---

Abstract

V originále

The aim of the workshop is to bring together researchers, working in different communities (coordination, constraints, process algebras), on methods and tools for the construction of concurrent, distributed and mobile systems.

In Czech

Cílem workshopu je umožnit preyentace výsledků z oblasti metod a nástrojů pro koordinaci souběžných a mobilních szstémů.

---

Links

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
1ET408050503, research and development project	Name: Techniky automatické verifikace a validace softwarových a hardwarových systémů Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems