A fluid analysis framework for a Markovian process algebra
scientific article; zbMATH DE number 5712826