Chatterjee, Krishnendu; Kragl, Bernhard; Mishra, Samarth; Pavlogiannis, Andreas Faster algorithms for weighted recursive state machines. (English) Zbl 1485.68057 Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10201, 287-313 (2017). MSC: 68N30 68Q25 68Q70 68Q85 PDFBibTeX XMLCite \textit{K. Chatterjee} et al., Lect. Notes Comput. Sci. 10201, 287--313 (2017; Zbl 1485.68057) Full Text: DOI arXiv
Fajstrup, Lisbeth; Goubault, Eric; Haucourt, Emmanuel; Mimram, Samuel; Raussen, Martin [Herlihy, Maurice] Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. (English) Zbl 1338.68003 SpringerBriefs in Applied Sciences and Technology. Mathematical Methods. Cham: Springer (ISBN 978-3-319-15397-1/pbk; 978-3-319-15398-8/ebook). xi, 167 p. (2016). Reviewer: Ioan Pop (Iaşi) MSC: 68-02 55-01 18B30 54F05 55P99 55U10 55U35 55U40 68N30 68Q55 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Fajstrup} et al., Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram. Cham: Springer (2016; Zbl 1338.68003) Full Text: DOI
Goubault, Eric; Heindel, Tobias; Mimram, Samuel A geometric view of partial order reduction. (English) Zbl 1334.68133 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 179-195 (2013). MSC: 68Q60 68Q65 68Q85 PDFBibTeX XMLCite \textit{E. Goubault} et al., Electron. Notes Theor. Comput. Sci. 298, 179--195 (2013; Zbl 1334.68133) Full Text: DOI
Baeten, J. C. M.; van Beek, D. A.; Cuijpers, P. J. L.; Reniers, M. A.; Rooda, J. E.; Schiffelers, R. R. H.; Theunissen, R. J. M. Model-based engineering of embedded systems using the hybrid process algebra Chi. (English) Zbl 1279.68245 Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 21-53 (2008). MSC: 68Q85 68Q70 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Electron. Notes Theor. Comput. Sci. 209, 21--53 (2008; Zbl 1279.68245) Full Text: DOI