8 citations · 13 across the 6 of their papers we have counts for
1 paper · 1 filter
Erwan Mahe, Christophe Gaston, Pascale Le Gall
Interaction languages such as MSC are often associated with formal semantics by means of translations into distinct behavioral formalisms such as automatas or Petri nets. In contra…