Process algebra and probabilistic methods: performance modeling and verification fromLecture Notes in Computer Science 0 Type: Book