Elements of Distributed Algorithms : Modeling and Analysis with Petri Nets

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...

Full description

Saved in:
Bibliographic Details
Online Access: Full text (MCPHS users only)
Main Author: Reisig, Wolfgang
Format: Electronic eBook
Language:English
Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 1998
Subjects:
Computer science.
Computer Communication Networks.
Software engineering.
Data structures (Computer science)
Computer software.
Logic design.
Electronic data processing.
Computer programs.
data processing.
computer science.
software.
Local Note:ProQuest Ebook Central
Table of Contents:
  • 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.

Similar Items