Jean Goubault-Larrecq, Jean-Philippe Lachance. On the Complexity of Monitoring Orchids Signatures.
Proceedings of the 16th Conference on Runtime Verification (RV'16), volume 10012 of Lecture Notes in Computer Science, Springer Verlag, pp.169-184, 2016,
⟨10.1007/978-3-319-46982-9_11⟩.
⟨hal-03189644⟩