تفاصيل الكتاب

978-1-84628-336-9

Concurrency Theory

Publish Date: 2006

ISBN: 978-1-84628-336-9

Internet Resource: Please Login to download book


Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focused on in this book is LOTOS. An extensive introduction to this particular process calculus is given, highlighting how the approach differs from competitor techniques, such as CCS and CSP.


Subject: Computer Science, Concurrency Theory, Formal Methods, Real Time systems, automata, calculus, modeling, semantics, theoretical computer science, verification