Process Calculi for Systems Biology and applications in severe asthma | IEEE Conference Publication | IEEE Xplore