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

Brim,  Luboš; Linden, Isabelle

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

Warning

This publication doesn't include Institute of Computer Science. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	BRIM Luboš LINDEN Isabelle
Year of publication	2005
Type	Workshop
MU Faculty or unit	Faculty of Informatics
Citation
Description	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.
Related projects:	Techniques for automatic verification and validation of software nad hardware systems Highly Parallel and Distributed Computing Systems