Title: Process algebra and probabilistic methods
First published: 2002
Subjects: Congresses, Machine theory, Parallel processing (Electronic computers)
LC classification: QA267 .P362 2002, QA267 .P362 2002