Safe CCSL specifications and marked graphs.

Frdric Mallet, Jean-Vivien Millo, Robert de Simone

Browse the full MEMOCODE paper archive.