A generic framework for representing and analyzing model concurrency

Publication
Software and Systems Modeling