Formal Description Techniques VII, Volume 7, Part 1994

Front Cover
D. Hogrefe, S. Leue
Springer, Feb 28, 1995 - Computers - 544 pages
0 Reviews
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Proving performance properties even probabilistic ones
3
N Lynch 3
19
A service request description language
37
Copyright

30 other sections not shown

Common terms and phrases

Bibliographic information