Towards a formal framework for developing concurrent programs: Modeling dynamic behavior.