Title: Communication-Based Systems
Description: 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.
Subjects: Mathematics, Algebra, Computer science, Software engineering, Systems theory, Computers, congresses, Electronic data processing, distributed processing, System theory, Homological Algebra Category Theory, Control Systems Theory, Processor Architectures, Programming Languages, Compilers, Interpreters, Software Engineering/Programming and Operating Systems