%0 Thesis %1 grosu1994formal %A Grosu, Radu %D 1994 %K %T A formal foundation for concurrent object oriented programming

@phdthesis{grosu1994formal, added-at = {2023-12-12T18:57:34.000+0100}, author = {Grosu, Radu}, biburl = {https://www.bibsonomy.org/bibtex/2767347df40f374921450e25699b6beff/admin}, dnbtitleid = {944816096}, interhash = {19b4228f2237fdf562b0e05a159cb4eb}, intrahash = {767347df40f374921450e25699b6beff}, keywords = {}, school = {TU München}, timestamp = {2023-12-12T18:57:34.000+0100}, title = {A formal foundation for concurrent object oriented programming}, year = 1994 }