Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets /

Distributed Computing is rapidly becoming the principal computing paradigm in diverse areas of computing, communication, and control. Processor clusters, local and wide area networks, and the information highway evolved a new kind of problems which can be solved with distributed algorithms. In this...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Reisig, Wolfgang
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998.
Temas:
Computer science.
Computer Communication Networks.
Software engineering.
Data structures (Computer science)
Computer software.
Logic design.
Electronic data processing.
Computer programs.
Informatique.
Génie logiciel.
Structures de données (Informatique)
Logiciels.
Structure logique.
data processing.
computer science.
software.
Electronic data processing
Computer programs
Computer science
Computer software
Logic design
Software engineering
Acceso en línea:Texto completo
Tabla de Contenidos:
  • Introduction
  • Elementary System Models: Elementary Concepts
  • Case Studies. Advanced System Models: Advanced Concepts
  • Case Studies
  • Acknowledged Messages
  • Network Algorithms. Analysis of Elementary System Models: State Properties of Elementary System Nets
  • Interleaved Progress of Elementary System Nets
  • Concurrent Progress of Elementary System Nets. Analysis of Advanced System Models: State Properties of System Nets
  • Interleaved Progress of System Nets
  • Concurrent Progress of System Nets
  • Formal Analysis of Case Studies
  • References.

Ejemplares similares