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