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 »
Boeken
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 Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express s... »