A process calculus BigrTiMo of mobile systems and its formal semantics
scientific article; zbMATH DE number 7349690
scientific article