Book
Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. «
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 ».
Nobody