✦ LIBER ✦

[IEEE 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering (TASE) - Beijing, China (2012.07.4-2012.07.6)] 2012 Sixth International Symposium on Theoretical Aspects of Software Engineering - The Observer Pattern Applied to Actor Systems: A TLA/TLC-based Implementation Analysis

✍ Scribed by Burmeister, Rodger; Helke, Steffen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2012 Sixth International Symposium

✍ Wang, Rui; Zhou, Min; Yin, Liangze; Zhang, Lianyi; Sun, Jiaguang; Ming, Gu; Bozg 📂 Article 📅 2012 🏛 IEEE ⚖ 461 KB

[IEEE 2012 Sixth International Symposium

✍ Yuksel, Ender; Zhu, Huibiao; Nielson, Hanne Riis; Huang, Heqing; Nielson, Flemmi 📂 Article 📅 2012 🏛 IEEE ⚖ 574 KB

[IEEE 2012 Sixth International Symposium

✍ Wu, Tianyong; Yan, Jun; Zhang, Jian 📂 Article 📅 2012 🏛 IEEE ⚖ 198 KB