Zhen You, Jinyun Xue, Qimin Hu, Yi Hong. Formal Semantics of Orc Based on TLA+. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Volume 8979 of Lecture Notes in Computer Science, pages 147-163, Springer, 2014. [doi]
Abstract is missing.