Sökt på: Böcker av Fokkink Wan
totalt 10 träffar
Introduction to Process Algebra
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process …
Modelling Distributed Systems
A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of …
Distributed Algorithms
A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.This book offers students and researchers a guide to …
Modelling Distributed Systems
Guides students through algebraic specification and verification of distributed systems, and some of the formal verification techniques. This book employs [mu]CRL as the vehicle, a …
Introduction to Process Algebra
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process …
Modelling Distributed Systems
A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today's world of …
Distributed Algorithms
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models.This book offers students and …
Introduction to Process Algebra
Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process …
Distributed Algorithms
A comprehensive guide to distributed algorithms that emphasizes examples and exercises rather than mathematical argumentation.This book offers students and researchers a guide to …
Distributed Algorithms, second edition
The new edition of a guide to distributed algorithms that emphasizes examples and exercises rather than the intricacies of mathematical models.This book offers students and …