This book presents the latest research in formal techniques for distributed systems, including material on theory, applications, tools and industrial usage of formal techniques.As an operating system is a very complex concurrent system, the use of FDTs facilitates the abstraction and ... different policies of resource management In this way we can study the behaviour of alternate solutions in order to choose the best. ... [8] A. Silverschatz, J. Peterson and P. Galvin. Operating Systems Concepts, Third Edition. ... [II] SOE/ESTELLE (Syntax Oriented Editor for Estelle) Usera#39;s Manual.
Title | : | Formal Description Techniques VII |
Author | : | D. Hogrefe, S. Leue |
Publisher | : | Springer - 1995-02-28 |
You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.
Once you have finished the sign-up process, you will be redirected to your download Book page.
How it works: