Marcelo Sihman

Publication Activity (10 Years)

Years Active: 1997-2003
Publications (10 Years): 0

Publications

Marcelo Sihman, Shmuel Katz
Superimpositions and Aspect-oriented Programming. Comput. J. 46 (5) (2003)
Shmuel Katz, Marcelo Sihman
Aspect Validation Using Model Checking. Verification: Theory and Practice (2003)
Marcelo Sihman, Shmuel Katz
A calculus of superimpositions for distributed systems. AOSD (2002)
Mario R. F. Benevides, Marcelo Sihman
Automatic Generation of CCS Specifications for Resource Sharing Problems. OPODIS (1997)