Concurrency Theory: Calculi an Automata for Modelling Untimed and Timed Concurre
162,18 €
Background on Concurrency Theory. - Process Calculi: LOTOS. - Basic Interleaved Semantic Models. - Beyond pbLOTOS. - Comparison of LOTOS with CCS and CSP. - Communicating Automata. - Semantic Models for tLOTOS.
Jetzt bei Ebay:
