Benveniste, Albert; Jard, Claude; Abbes, Samy Application of branching cells to QoS aware service orchestrations. (English) Zbl 1360.68625 Theor. Comput. Sci. 546, 52-62 (2014). MSC: 68Q85 68M11 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Theor. Comput. Sci. 546, 52--62 (2014; Zbl 1360.68625) Full Text: DOI
Fabre, Eric; Benveniste, Albert; Haar, Stefan; Jard, Claude Distributed monitoring of concurrent and asynchronous systems. (English) Zbl 1077.68059 Discrete Event Dyn. Syst. 15, No. 1, 33-84 (2005). MSC: 68Q85 93B07 93C65 PDFBibTeX XMLCite \textit{E. Fabre} et al., Discrete Event Dyn. Syst. 15, No. 1, 33--84 (2005; Zbl 1077.68059) Full Text: DOI Link
Benveniste, Albert; Haar, Stefan; Fabre, Eric; Jard, Claude Distributed monitoring of concurrent and asynchronous systems. (English) Zbl 1274.68221 Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 1-26 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Lect. Notes Comput. Sci. 2761, 1--26 (2003; Zbl 1274.68221) Full Text: DOI