CONCURRENCY THEORY - CALCULI AN AUTOMATA FOR MODELLING UNTIMED AND TIMED CONCURRENT SYSTEMS
De: R$ 2.400,80Por: R$ 1.680,56ou X de
Economia de R$ 720,24Para envios internacionais, simule o frete no carrinho de compras.
Sinopse
The book covers linear-time semantics, based on traces; branching-time semantics, using both labeled transition systems and refusals; and true concurrency semantics, using (bundle) event structures. In addition, the book discusses communicating automata approaches (both finite and infinite state); how the theory can be generalised to the timed setting; and, finally the authors generalise the (finite and infinite state) communicating automata notations to yield timed automata and discrete timed automata.
This book represents a comprehensive pass through the spectrum of concurrency theory research: From untimed to timed syntax and semantics and process calculi to automata. Researchers and practitioners in the field of concurrency theory, as well as MSc and PhD students, will find the comprehensive coverage in this book essential reading.
Ficha técnica
Especificações
ISBN | 9781852338954 |
---|---|
Pré venda | Não |
Peso | 471g |
Autor para link | BOWMAN HOWARD,GOMEZ RODOLFO |
Livro disponível - pronta entrega | Não |
Dimensões | 23 x 16 x 1 |
Tipo item | Livro Importado |
Número de páginas | 422 |
Número da edição | 1ª EDIÇÃO - 2005 |
Código Interno | 627873 |
Código de barras | 9781852338954 |
Acabamento | PAPERBACK |
Autor | BOWMAN, HOWARD | GOMEZ, RODOLFO |
Editora | SPRINGER VERLAG |
Sob encomenda | Sim |