Jayadev Misra. Specifying Concurrent Objects as Communicating Processes. Science of Computer Programming, 14(2-3):159-184, 1990.
@article{Misra90:0, title = {Specifying Concurrent Objects as Communicating Processes}, author = {Jayadev Misra}, year = {1990}, tags = {meta-model, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Misra90%3A0}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {14}, number = {2-3}, pages = {159-184}, }