Formal Description Techniques VII, Volume 7, Part 1994
D. Hogrefe, S. Leue
Springer, Feb 28, 1995 - Computers - 544 pages
This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.
80 pages matching example in this book
Results 1-3 of 80
What people are saying - Write a review
We haven't found any reviews in the usual places.
Proving performance properties even probabilistic ones
N Lynch 3
A service request description language
30 other sections not shown
abstract abstract interpretation algorithm analysis application approach automata automaton behaviour bisimulation Boolean bound called choice communication communication protocols components Computer Science concurrent system configuration constraints corresponding deadlock defined definition denotes described distributed domain entity environment equivalent Estelle event example execution expressed ExSpect extended transition fault coverage FDTs Figure finite Formal Description Techniques formal methods function given graph hookState implementation initial input interactions interface interprocessor interrupt labelled transition systems language logic LOTOS specification machine mapping maximality-based module Nancy Lynch node operational semantics operator output paper parameters performance Petri Nets possible primitive problem process algebra process-set processor proof properties queue reachable real-time relation represent requirements rules scenarios semantics sequence service offer simulation step structure synchronous task temporal logic test suite tool transition relation transition system validation variables verification