Welkom op Boeklezers.nl

Boeklezers.nl is een netwerk voor sociaal lezen. Wij helpen lezers nieuwe boeken en schrijvers ontdekken, en brengen lezers met elkaar en schrijvers in contact. Meer lezen »

Meedoen

Boeken

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... »