TY  - RPRT
TI  - Coordination Level Modeling and Analysis of Parallel Programs using Petri Nets
AU  - Francisco Heron de Carvalho-Junior
AU  - Rafael Dueire Lins
PY  - 2012
UR  - https://arxiv.org/abs/1208.3882
ID  - 1208.3882
ER  -