Contemporary Concepts, Descriptions and Language of Systems Using SBC Process Algebra | IEEE Conference Publication | IEEE Xplore