Cargando…

Modelling Distributed Systems

A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today's world of wireless and mobile networking. Process algebras are languages for the description of elementary parallel systems and are...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Fokkink, Wan (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Abstract Data Types
  • Process Algebra
  • Hiding Internal Transitions
  • Protocol Specifications
  • Linear Process Equations
  • Verification Algorithms on State Spaces
  • Symbolic Methods.