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

Title:
Towards a formal framework for developing concurrent programs: Modeling dynamic behavior
Authors:
Haghighi, Hassan
Source:
ACS/IEEE International Conference on Computer Systems and Applications - AICCSA 2010 Computer Systems and Applications (AICCSA), 2010 IEEE/ACS International Conference on. :1-8 May, 2010
Relation:
2010 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA)
Database:
IEEE Xplore Digital Library