P. Baldan, T. Chatain, S. Haar, and B. König, Unfolding-based diagnosis of systems with an evolving topology. Information and Computation, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00638204

A. Benveniste, E. Fabre, C. Jard, and S. Haar, Diagnosis of asynchronous discrete-event systems: a net unfolding approach, IEEE Transactions on Automatic Control, vol.48, issue.5, pp.714-727, 2003.
DOI : 10.1109/TAC.2003.811249
URL : https://hal.archives-ouvertes.fr/inria-00638345

B. Bollig and L. Hélouët, Realizability of Dynamic MSC Languages, Proc. of CSR 2010, 2010.
DOI : 10.1007/978-3-642-13182-0_5
URL : https://hal.archives-ouvertes.fr/inria-00589714

A. Habel, Hyperedge Replacement : Grammars and Languages, LNCS, vol.643, 1992.

L. Hélouët, T. Gazagnaire, and B. Genest, Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, 2006.
DOI : 10.1109/WODES.2006.1678447

M. Leucker, P. Madhusudan, and S. Mukhopadhyay, Dynamic Message Sequence Charts, FSTTCS'02, pp.253-264, 2002.
DOI : 10.1007/3-540-36206-1_23

P. Madhusudan, P. S. Thiagarajan, and S. Yang, The MSO Theory of Connectedly Communicating Processes, FSTTCS, pp.201-212, 2005.
DOI : 10.1007/11590156_16

F. Mattern, On the relativistic structure of logical time in distributed systems. Parallel and Distributed Algorithms, pp.215-226, 1989.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Failure diagnosis using discrete-event models, IEEE Transactions on Control Systems Technology, vol.4, issue.2, pp.105-124, 1996.
DOI : 10.1109/87.486338