Shangping Ren, Yue Yu, Miao Song 0004. Model Feasible Interactions in Distributed Real-Time Systems. In Gul Agha, Olivier Danvy, José Meseguer, editors, Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Volume 7000 of Lecture Notes in Computer Science, pages 144-168, Springer, 2011. [doi]
@inproceedings{RenYS11, title = {Model Feasible Interactions in Distributed Real-Time Systems}, author = {Shangping Ren and Yue Yu and Miao Song 0004}, year = {2011}, doi = {10.1007/978-3-642-24933-4_8}, url = {http://dx.doi.org/10.1007/978-3-642-24933-4_8}, researchr = {https://researchr.org/publication/RenYS11}, cites = {0}, citedby = {0}, pages = {144-168}, booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday}, editor = {Gul Agha and Olivier Danvy and José Meseguer}, volume = {7000}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-24932-7}, }