Locating crosscutting concerns in the formal specification of distributed reactive systems

José J. Pazos Arias, Jorge García Duque, Martín López Nores. Locating crosscutting concerns in the formal specification of distributed reactive systems. ACM SIGSOFT Software Engineering Notes, 30(4):1-5, 2005. [doi]

Abstract

Abstract is missing.