Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
Tehnici de implementare a concurentei în analiza si proiectarea ...
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
[FRO92] Svend Frølund, Inheritance of Sinchronization Constraints in<br />
Concurrent Object-Oriented Programming Languages, Proceeding of<br />
ECOOP'92, L. Madsen editor, Lecture Notes in Computer Science, vol.<br />
615, p. 185-196, Springer-Verlag, Utrecht, Netherlands, 1992<br />
[GAN93] D. Gangopadhyay, S. Mitra, ObjChart: Tangible Specification of<br />
Reactive Object Behavior, Proceedings of ECOOP'93, Oscar Nierstrasz<br />
(ed.), LNCS 707, Springer Verlag, p. 432-457, 1993<br />
[GEO96] Horia Georgescu, Programare concurenta. Teorie <strong>si</strong> aplicatii, Editura<br />
Tehnica, Bucuresti, 1996<br />
[GIR97] Alain Girault, Bilung Lee, Edward A. Lee, Hierarchical Finite State<br />
Machines with Multiple Concurrency Mo<strong>de</strong>ls, Technical Memorandum<br />
Univer<strong>si</strong>ty of California at Berkeley, aug. 1997<br />
[GOL83] A. Goldberg, D. Robson, Smalltalk-80: The Language and its<br />
Implementation, Addison-Wesley, 1983<br />
[HAN72] P. Brinch Hansen, Structured multiprogramming, Communications of<br />
the ACM, 15(7), p. 574-578, iulie 1972<br />
[HAN73] P. Brinch Hansen, Concurrent programming concepts, ACM Computing<br />
Surveys, 5(4), p. 223-245, <strong>de</strong>c. 1973<br />
[HAR85] D. Harel, A. Pnueli, On the Development of Reactive Systems, Logics<br />
and Mo<strong>de</strong>ls of Concurrent Systems, NATO, ASI-13, Springer-Verlag, p.<br />
477-498, 1985<br />
[HAR87] David Harel, Statecharts: A Visual Formalism for Complex Systems,<br />
Science of Computer Programming, vol.8, no. 3, p. 231-274, iun. 1987<br />
[HAR96] D. Harel, A. Naamad, The STATEMATE Semantics of Statecharts, ACM<br />
Transaction on Software Engineering and Methodology, 5(4), p. 293-<br />
333, oct. 1996<br />
[HAR97] David Harel, Eran Gery, Executable Object Mo<strong>de</strong>ling with Statecharts,<br />
IEEE Computer, 0018-9162/97, p. 31-42, iulie 1997<br />
[HEN97] Brian Hen<strong>de</strong>rson-Sellers, Evaluating Third Generation Object-Oriented<br />
Software Development Approaches, predat la "Information and Software<br />
Technology", mai 1997<br />
[HOA74] C. A. R. Hoare, Monitors: an Operating System Structuring Concepts,<br />
Communications of the ACM, no. 17(10), p. 549-557, oct. 1974<br />
[HOA85] C. A. R. Hoare, Communicating Sequential Processes, Prentice-Hall<br />
International Series in Computer Science, Prentice-Hall, 1985<br />
[HOR83] E. Horowitz, Fundamentals of Programming Languages, Springer<br />
Verlag, 1983<br />
[HUI88] C. Huizing, R. Gerth, W. P. <strong>de</strong> Roever, Mo<strong>de</strong>lling Statecharts behaviour<br />
in a fully abstract way, LNCS, vol. 299, Springer Verlag, p. 271-294,<br />
1988<br />
[HUI91] C. Huizing, Semantics of Reactive Systems: Comparison and Full<br />
Abstraction, teza <strong>de</strong> doctorat, Technical Univer<strong>si</strong>ty Eindhoven, Olanda,<br />
1991<br />
158