A compositional proof system for dynamic process creation | IEEE Conference Publication | IEEE Xplore