van Glabbeek, Rob Ensuring liveness properties of distributed systems: open problems. (English) Zbl 1435.68216 J. Log. Algebr. Methods Program. 109, Article ID 100480, 19 p. (2019). MSC: 68Q85 68M14 68Q60 PDFBibTeX XMLCite \textit{R. van Glabbeek}, J. Log. Algebr. Methods Program. 109, Article ID 100480, 19 p. (2019; Zbl 1435.68216) Full Text: DOI arXiv
Akroun, Lakhdar; Salaün, Gwen Automated verification of automata communicating via FIFO and bag buffers. (English) Zbl 1392.68224 Form. Methods Syst. Des. 52, No. 3, 260-276 (2018). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Akroun} and \textit{G. Salaün}, Form. Methods Syst. Des. 52, No. 3, 260--276 (2018; Zbl 1392.68224) Full Text: DOI HAL
Evrard, Hugues; Lang, Frédéric Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous. (English) Zbl 1362.68038 J. Log. Algebr. Methods Program. 88, 121-153 (2017). MSC: 68N20 68Q85 PDFBibTeX XMLCite \textit{H. Evrard} and \textit{F. Lang}, J. Log. Algebr. Methods Program. 88, 121--153 (2017; Zbl 1362.68038) Full Text: DOI HAL
Boulgakov, Alexandre; Gibson-Robinson, Thomas; Roscoe, A. W. Computing maximal weak and other bisimulations. (English) Zbl 1355.68190 Formal Asp. Comput. 28, No. 3, 381-407 (2016). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Boulgakov} et al., Formal Asp. Comput. 28, No. 3, 381--407 (2016; Zbl 1355.68190) Full Text: DOI
Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe On the diversity of asynchronous communication. (English) Zbl 1345.68022 Formal Asp. Comput. 28, No. 5, 847-879 (2016). MSC: 68M14 68Q60 PDFBibTeX XMLCite \textit{F. Chevrou} et al., Formal Asp. Comput. 28, No. 5, 847--879 (2016; Zbl 1345.68022) Full Text: DOI HAL
Jebali, Fatma; Lang, Frédéric; Mateescu, Radu Formal modelling and verification of GALS systems using GRL and CADP. (English) Zbl 1345.68023 Formal Asp. Comput. 28, No. 5, 767-804 (2016). MSC: 68M14 68Q60 68Q85 PDFBibTeX XMLCite \textit{F. Jebali} et al., Formal Asp. Comput. 28, No. 5, 767--804 (2016; Zbl 1345.68023) Full Text: DOI HAL
Santone, Antonella; Vaglini, Gigliola Model checking properties on reduced trace systems. (English) Zbl 1461.68119 Algorithms (Basel) 7, No. 3, 339-362 (2014). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{A. Santone} and \textit{G. Vaglini}, Algorithms (Basel) 7, No. 3, 339--362 (2014; Zbl 1461.68119) Full Text: DOI
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 96-123 (2014). MSC: 68Q60 60J20 60J25 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8464, 96--123 (2014; Zbl 1407.68279) Full Text: DOI
Keiren, Jeroen J. A.; Reniers, Michel A.; Willemse, Tim A. C. Structural analysis of Boolean equation systems. (English) Zbl 1351.68181 ACM Trans. Comput. Log. 13, No. 1, Article No. 8, 35 p. (2012). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{J. J. A. Keiren} et al., ACM Trans. Comput. Log. 13, No. 1, Article No. 8, 35 p. (2012; Zbl 1351.68181) Full Text: DOI arXiv
Durán, Francisco; Ouederni, Meriem; Salaün, Gwen A generic framework for \(n\)-protocol compatibility checking. (English) Zbl 1245.68028 Sci. Comput. Program. 77, No. 7-8, 870-886 (2012). MSC: 68M14 68N01 68Q85 PDFBibTeX XMLCite \textit{F. Durán} et al., Sci. Comput. Program. 77, No. 7--8, 870--886 (2012; Zbl 1245.68028) Full Text: DOI
Aldini, Alessandro; Bernardo, Marco; Corradini, Flavio A process algebraic approach to software architecture design. (English) Zbl 1255.68004 London: Springer (ISBN 978-1-84800-222-7/hbk). xv, 304 p. (2010). MSC: 68-02 68Q85 68N99 PDFBibTeX XMLCite \textit{A. Aldini} et al., A process algebraic approach to software architecture design. London: Springer (2010; Zbl 1255.68004)
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
Verdejo, Alberto; Martí-Oliet, Narciso Two case studies of semantics execution in Maude: CCS and LOTOS. (English) Zbl 1086.68552 Form. Methods Syst. Des. 27, No. 1-2, 113-172 (2005). MSC: 68Q42 68Q55 68Q60 68Q85 03B70 PDFBibTeX XMLCite \textit{A. Verdejo} and \textit{N. Martí-Oliet}, Form. Methods Syst. Des. 27, No. 1--2, 113--172 (2005; Zbl 1086.68552) Full Text: DOI
Mateescu, Radu Efficient diagnostic generation for Boolean equation systems. (English) Zbl 0960.68118 Graf, Susanne (ed.) et al., Tools and algorithms for the construction and analysis of systems. 6th international conference, TACAS 2000. Held as part of the joint European conferences on theory and practice of software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1785, 251-265 (2000). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{R. Mateescu}, Lect. Notes Comput. Sci. 1785, 251--265 (2000; Zbl 0960.68118)
Bozga, Marius; Fernandez, Jean-Claude; Kerbrat, Alain; Mounier, Laurent Protocol verification with the Aldébaran toolset. (English) Zbl 1060.68561 Int. J. Softw. Tools Technol. Transf. 1, No. 1-2, 166-183 (1997). MSC: 68M14 68M12 68Q60 PDFBibTeX XML Full Text: DOI
Leblanc, Philippe OMT and SDL based techniques and tools for design, simulation and test production of distributed systems. (English) Zbl 1060.68578 Int. J. Softw. Tools Technol. Transf. 1, No. 1-2, 153-165 (1997). MSC: 68N99 68M14 PDFBibTeX XML Full Text: DOI