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
Benveniste, Albert; Jard, Claude; Abbes, Samy Foreword in honor of Glynn Winskel. (English) Zbl 1417.68008 Theor. Comput. Sci. 546, 30-31 (2014). MSC: 68-06 68Q85 00B15 PDFBibTeX XMLCite \textit{A. Benveniste} et al., Theor. Comput. Sci. 546, 30--31 (2014; Zbl 1417.68008) Full Text: DOI
Jéron, Thierry; Jard, Claude Testing for unboundedness of fifo channels. (English) Zbl 0781.68085 Theor. Comput. Sci. 113, No. 1, 93-117 (1993). Reviewer: T.Thierry MSC: 68Q60 PDFBibTeX XMLCite \textit{T. Jéron} and \textit{C. Jard}, Theor. Comput. Sci. 113, No. 1, 93--117 (1993; Zbl 0781.68085) Full Text: DOI