William L. Scherlis. Experience with fluid: analysis, design intent, and assurance for concurrency. In Shmuel Ur, Eitan Farchi, editors, Proceedings of the 5th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2007), PADTAD 2007, London, UK, July 9, 2007. pages 1-2, ACM, 2007. [doi]
Abstract is missing.