Related Books

Formal Techniques for Networked and Distributed Systems – FORTE 2008
Language: en
Pages: 351

Formal Techniques for Networked and Distributed Systems – FORTE 2008

Authors: Kenji Suzuki
Categories: Computers
Type: BOOK - Published: 2008-05-27 - Publisher: Springer Science & Business Media

GET EBOOK

This volume contains the proceedings of FORTE 2008, 28th IFIP WG6.1 - ternational Conference on Formal Techniques for Networked and Distributed Systems. FORTE 2
Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing
Language: en
Pages: 2700

Research Anthology on Architectures, Frameworks, and Integration Strategies for Distributed and Cloud Computing

Authors: Management Association, Information Resources
Categories: Computers
Type: BOOK - Published: 2021-01-25 - Publisher: IGI Global

GET EBOOK

Distributed systems intertwine with our everyday lives. The benefits and current shortcomings of the underpinning technologies are experienced by a wide range o
Petri Nets
Language: en
Pages: 456

Petri Nets

Authors: Michel Diaz
Categories: Mathematics
Type: BOOK - Published: 2013-03-01 - Publisher: John Wiley & Sons

GET EBOOK

A Petri net is a mathematical representation of a network. This book first introduces the basic models including time and stochastic extensions, in particular p
Distributed Computing
Language: en
Pages: 546

Distributed Computing

Authors: Idit Keidar
Categories: Computers
Type: BOOK - Published: 2009-09-29 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 23nd International Symposium on Distributed Computing, DISC 2009, held in Elche, Spain, in September 2009.
Testing of Software and Communicating Systems
Language: en
Pages: 313

Testing of Software and Communicating Systems

Authors: Kenji Suzuki
Categories: Computers
Type: BOOK - Published: 2008-05-26 - Publisher: Springer Science & Business Media

GET EBOOK

This book constitutes the refereed proceedings of the 20th IFIP TC 6/WG 6.1 International Conference on Testing Communicating Systems, TestCom 2008, and the 8th