Tzilla Elrad. Aspect Oriented Approach for Capturing and Verifying Distributed Properties. In Orna Grumberg, Michael Kaminski, Shmuel Katz, Shuly Wintner, editors, Languages: From Formal to Natural, Essays Dedicated to Nissim Francez on the Occasion of His 65th Birthday. Volume 5533 of Lecture Notes in Computer Science, pages 83-96, Springer, 2009. [doi]
Abstract is missing.