Hassan Haghighi. Towards a formal framework for developing concurrent programs: Modeling dynamic behavior. In The 8th ACS/IEEE International Conference on Computer Systems and Applications, AICCSA 2010, Hammamet, Tunisia, May 16-19, 2010. pages 1-8, IEEE, 2010. [doi]
Abstract is missing.