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

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Authors: Bowman, Howard (Author), Gomez, Rodolfo (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: London : Springer London : Imprint: Springer, 2006.
Edition:1st ed. 2006.
Subjects:
Computer science.
Software engineering.
Theory of Computation.
Software Engineering.
Computer Science Logic and Foundations of Programming.
Online Access:Texto Completo

Internet

Texto Completo

Items no disponibles

Holdings details from

Similar Items