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

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]

Authors

Hassan Haghighi

This author has not been identified. Look up 'Hassan Haghighi' in Google