Foundational aspects of multiscale modeling of biological systems with process algebras