Welcome to Boeklezers.nl

Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».

Sign Up

Books

Modelling Distributed Systems
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. Proc... »
 
 
 
 
 

Introduction To Process Algebra
Introduction To Process Algebra
Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express s... »