Aspect Oriented Approach for Capturing and Verifying Distributed Properties.

Tzilla Elrad Aspect Oriented Approach for Capturing and Verifying Distributed Properties. 83-96 2009 Languages: From Formal to Natural http://dx.doi.org/10.1007/978-3-642-01748-3_6 conf/birthday/2009francez db/conf/birthday/francez2009.html#Elrad09