Communication-Based Systems
Subtitle: Proceeding of the 3rd International Workshop held at the TU Berlin, Germany, 31 March - 1 April 2000
By: edited by Günter Hommel
Publisher: Springer Netherlands
Published: 2000
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] :
Number of pages: 195
ISBN-13: 9789048153992; 9789401596084
Subjects: Mathematics; Algebra; Computer science; Software engineering; Systems theory
Other titles: Proceedings of the 3rd International Workshop held at the TU Berlin, Germany, 31 March-1 April 2000
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.
Notes: Online full text is restricted to subscribers.

Also available in print.

Mode of access: World Wide Web.