Formal Modeling of Concurrent AOP Programs
Bogdan Crenguta, Serbanati L.D.,“Formal Modeling of Concurrent AOP Programs”, Int. J. of Computers, Communications & Control, ISSN 1841-9836, E-ISSN 1841-9844, Vol I (2006), Suppl. Issue: Proceedings of International Conference of Computers, Communications and Control (ICCCC 2006), pag. 92-99