Mesa: Support for scenario-based design of concurrent systems, Tacas, pp.118-135, 1998. ,
DOI : 10.1007/BFb0054168
Sequence Chart Studio, 2012 12th International Conference on Application of Concurrency to System Design, pp.148-153, 2012. ,
DOI : 10.1109/ACSD.2012.25
Automata and logics for message sequence charts, Thèse de doctorat, 2005. ,
The odyssey of msc-graphs, Thèse de doctorat, 2004. ,
Analyse des exigences des systèmes répartis exprimées par des langages de scénarios, Thèse de doctorat, 2000. ,
A Scenario Oracle and Formal Analysis Toolbox (SOFAT) http://www.irisa .fr/distribcom, Prototypes/SOFAT. ([, 2012. ,
Design tools for requirements engineering, Bell Labs Technical Journal, vol.2, issue.1, pp.86-95, 1997. ,
DOI : 10.1002/bltj.2034
On the reachability problem for 5-dimensional vector addition systems, Theoretical Computer Science, vol.8, issue.2, pp.135-159, 1979. ,
DOI : 10.1016/0304-3975(79)90041-0
The reachability problem requires exponential space. Rapport technique n o 63, 1976. ,
Linear algebra in net theory, Advanced course: Net theory and applications, pp.213-223, 1980. ,
DOI : 10.1007/3-540-10001-6_24
Message sequence chart: Syntax and semantics, 1998. ,