Process Calculi Abstractions for Biology