Title: Process algebra and probabilistic methods
Subjects: Machine theory, Parallel processing (Electronic computers), Congresses