Rodger Burmeister. Quality Assurance for Concurrent Software - An Actor-Based Approach. In Bernd Mahr, Huanye Sheng, editors, Autonomous Systems - Self-Organization, Management, and Control, Proceedings of the 8th International Workshop held at Shanghai Jiao Tong University, Shanghai, China, October 6-7, 2008. pages 119-126, Springer, 2008. [doi]
Abstract is missing.