Concurrency Theory Calculi an Automata for Modelling Untimed and Timed Concurrent Systems /

Concurrency Theory is a synthesis of one of the major threads of theoretical computer science research focusing on languages and graphical notations for describing collections of simultaneously evolving components that interact through synchronous communication. The main specification notation focus...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Bowman, Howard (Autor), Gomez, Rodolfo (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Temas:
Computer science.
Software engineering.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Background on Concurrency Theory
  • Concurrency Theory - Untimed Models
  • Process Calculi: LOTOS
  • Basic Interleaved Semantic Models
  • True Concurrency Models: Event Structures
  • Testing Theory and the Linear Time - Branching Time Spectrum
  • Concurrency Theory - Further Untimed Notations
  • Beyond pbLOTOS
  • Comparison of LOTOS with CCS and CSP
  • Communicating Automata
  • Concurrency Theory - Timed Models
  • Timed Process Calculi, a LOTOS Perspective
  • Semantic Models for tLOTOS
  • Timed Communicating Automata
  • Timelocks in Timed Automata
  • Discrete Timed Automata.

Ejemplares similares