Paul Gastin, Madhavan Mukund, K. Narayan Kumar. Reachability and boundedness in time-constrained MSC graphs. Lodaya, Kamal and Mukund, Madhavan and Ramanujam, R.
Perspectives in Concurrency Theory, Universities Press, pp.157-183, 2009.
⟨hal-00772665⟩