Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000
Edición de la obra Communication-Based Systems
| Autor | Günter Hommel |
|---|---|
| Editorial | Springer Netherlands |
| Fecha de publicación | 2000 |
| Lugar | Dordrecht |
| Idioma | inglés |
| Páginas | 195 |
| Formato | [electronic resource] : |
| ISBN-13 | 9789048153992, 9789401596084 |
| ISBN-10 | 9048153999, 9401596085 |
| OCLC | 851377743 |
| Número de Cutter |
H768c |
This workshop on Communication-Based Systems is intended to present the research results of students of the Graduiertenkolleg `Communication-Based Systems' to an international community. To stimulate the scientific discussion, renowned experts were invited to give their views on the following research areas: Formal specification and mathematical foundations of distributed systems using process algebra, graph transformations, process calculi, and temporal logics; Performance evaluation, dependability modeling, and analysis of real-time systems with different kinds of timed Petri-Nets; Specification and analysis of communication protocols; Reliability, security, and dependability in distributed systems; Object orientation in distributed systems architecture; Software development and concepts for distributed applications; Computer network architecture and management; Language concepts for distributed systems.