Cover of Communication-Based Systems

Mark as

Communication-Based Systems

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;...

More by Günter Hommel

Review
Review
Review
Review
Review
Review
Review

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment