Modeling inheritance anomaly in concurrent systems using colored Petri nets.

Bhushan Bauskar, Boleslaw Mikolajczak

Browse the full SMC paper archive.