Concurrency-aware Executable Domain-Specific Modeling Languages as Models of Concurrency.

Florent Latombe, Xavier Crgut, Marc Pantel

Browse the full MODELS paper archive.