Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Subtitle: Joint International Workshop, PAPM-PROBMIV 2001, Aachen, Germany, September ... (Lecture Notes in Computer Science)
Contributors: Luca de Alfaro (Editor); Stephen Gilmore (Editor)
Edition: 1 edition
Publisher: Springer
Published: October 2, 2001
Language: eng
Format: Paperback
Number of pages: 217
ISBN-13: 9783540425564
Subjects: Algebra; Computer modelling & simulation; Mathematical theory of computation; Probability & statistics; Mathematics; General; Parallel processing (Electroni; Machine Learning; Parallel Processing; Computers; Machine theory; Computer Books: General; Logic; Logic Design; Computers / Logic Design; Formal Verfification; Hardware Verification; Markov Chains; Model Checking; Parallel processing (Electronic computers); Artificial Intelligence - General; Data Processing - Parallel Processing; Programming - Parallel Programming; Congresses