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

• Κύριοι συγγραφείς: Bowman, Howard (Συγγραφέας), Gomez, Rodolfo (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2006.
• Θέματα: Computer science.; Software engineering.; Computers.; Computer logic.; Computer Science.; Theory of Computation.; Software Engineering.; Logics and Meanings of Programs.

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