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

Hassan Haghighi

Browse the full AICCSA paper archive.