Frédéric Mallet, Jean-Vivien Millo, Robert de Simone. Safe CCSL Specifications and Marked Graphs.
MEMOCODE - 11th IEEE/ACM International Conference on Formal Methods and Models for Codesign, Oct 2013, Portland, United States. pp.157-166.
⟨hal-00913962⟩