Corradini, Flavio; Morichetta, Andrea; Polini, Andrea; Re, Barbara; Tiezzi, Francesco Collaboration vs. choreography conformance in BPMN. (English) Zbl 07269254 Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{F. Corradini} et al., Log. Methods Comput. Sci. 16, No. 4, Paper No. 7, 37 p. (2020; Zbl 07269254) Full Text: arXiv Link
Corradini, Flavio; Cacciagrano, Diletta; Palamidessi, Catuscia Explicit fairness in testing semantics. (English) Zbl 1163.68031 Log. Methods Comput. Sci. 5, No. 2, Paper 15, 27 p. (2009). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{F. Corradini} et al., Log. Methods Comput. Sci. 5, No. 2, Paper 15, 27 p. (2009; Zbl 1163.68031) Full Text: DOI arXiv