Open AccessTowards an Approach for Translation Validation of Thread-level Parallelizing Transformations using Colored Petri Nets
Author(s) -
Rakshit Mittal,
Rochishnu Banerjee,
Dominique Blouin,
Sambaran Bandyopadhyay
Publication year - 2021
Language(s) - English
Resource type - Conference proceedings
DOI - 10.5220/0010581005330541
Subject(s) - computer science , thread (computing) , petri net , colored , parallel computing , programming language , theoretical computer science , composite material , materials science