Larsen, Kim G.; Schilling, Christian; Srba, Jiří Simulation relations and applications in formal methods. (English) Zbl 1528.68188 Raskin, Jean-François (ed.) et al., Principles of systems design. Essays dedicated to Thomas A. Henzinger on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13660, 272-291 (2022). MSC: 68Q45 68Q60 68Q85 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Lect. Notes Comput. Sci. 13660, 272--291 (2022; Zbl 1528.68188) Full Text: DOI
Silva, Luciano; Oliveira, Marcel Automatic generation of verified concurrent hardware using VHDL. (English) Zbl 1528.68053 Lima, Lucas (ed.) et al., Formal methods: foundations and applications. 25th Brazilian symposium, SBMF 2022, virtual event, December 6–9, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13768, 55-72 (2022). MSC: 68N15 68Q60 68Q85 PDFBibTeX XMLCite \textit{L. Silva} and \textit{M. Oliveira}, Lect. Notes Comput. Sci. 13768, 55--72 (2022; Zbl 1528.68053) Full Text: DOI
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana Sound reasoning in tock-CSP. (English) Zbl 1483.68223 Acta Inf. 59, No. 1, 125-162 (2022); correction ibid. 59, No. 2-3, 283 (2022). MSC: 68Q85 PDFBibTeX XMLCite \textit{J. Baxter} et al., Acta Inf. 59, No. 1, 125--162 (2022; Zbl 1483.68223) Full Text: DOI
Laveaux, Maurice; Groote, Jan Friso; Willemse, Tim A. C. Correct and efficient antichain algorithms for refinement checking. (English) Zbl 1509.68168 Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{M. Laveaux} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 8, 40 p. (2021; Zbl 1509.68168) Full Text: arXiv Link
Mestel, David; Roscoe, A. W. Translating between models of concurrency. (English) Zbl 1465.68181 Acta Inf. 57, No. 3-5, 403-438 (2020). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q60 68Q55 68Q85 PDFBibTeX XMLCite \textit{D. Mestel} and \textit{A. W. Roscoe}, Acta Inf. 57, No. 3--5, 403--438 (2020; Zbl 1465.68181) Full Text: DOI arXiv
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
Lowe, Gavin Discovering and correcting a deadlock in a channel implementation. (English) Zbl 1425.68297 Formal Asp. Comput. 31, No. 4, 411-419 (2019). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{G. Lowe}, Formal Asp. Comput. 31, No. 4, 411--419 (2019; Zbl 1425.68297) Full Text: DOI
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDFBibTeX XMLCite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Llorens, M.; Oliver, J.; Silva, J.; Tamarit, S. Tracking CSP computations. (English) Zbl 1408.68037 J. Log. Algebr. Methods Program. 102, 138-175 (2019). MSC: 68N30 68Q85 PDFBibTeX XMLCite \textit{M. Llorens} et al., J. Log. Algebr. Methods Program. 102, 138--175 (2019; Zbl 1408.68037) Full Text: DOI Link
Cleaveland, Rance; Roscoe, A. W.; Smolka, Scott A. Process algebra and model checking. (English) Zbl 1392.68243 Clarke, Edmund M. (ed.) et al., Handbook of model checking. Cham: Springer (ISBN 978-3-319-10574-1/hbk; 978-3-319-10575-8/ebook). 1149-1195 (2018). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{R. Cleaveland} et al., in: Handbook of model checking. Cham: Springer. 1149--1195 (2018; Zbl 1392.68243) Full Text: DOI
Pedersen, Jan B.; Welch, Peter H. The symbiosis of concurrency and verification: teaching and case studies. (English) Zbl 1382.68144 Formal Asp. Comput. 30, No. 2, 239-277 (2018). MSC: 68Q60 68Q85 97P20 PDFBibTeX XMLCite \textit{J. B. Pedersen} and \textit{P. H. Welch}, Formal Asp. Comput. 30, No. 2, 239--277 (2018; Zbl 1382.68144) Full Text: DOI
Conserva Filho, M. S.; Oliveira, M. V. M.; Sampaio, A.; Cavalcanti, Ana Compositional and local livelock analysis for CSP. (English) Zbl 1426.68182 Inf. Process. Lett. 133, 21-25 (2018). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{M. S. Conserva Filho} et al., Inf. Process. Lett. 133, 21--25 (2018; Zbl 1426.68182) Full Text: DOI Link
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. The automatic detection of token structures and invariants using SAT checking. (English) Zbl 1453.68109 Legay, Axel (ed.) et al., Tools and algorithms for the construction and analysis of systems. 23rd international conference, TACAS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 10206, 249-265 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Antonino} et al., Lect. Notes Comput. Sci. 10206, 249--265 (2017; Zbl 1453.68109) Full Text: DOI Link
Dalsgaard, Andreas E.; Enevoldsen, Søren; Fogh, Peter; Jensen, Lasse S.; Jepsen, Tobias S.; Kaufmann, Isabella; Larsen, Kim G.; Nielsen, Søren M.; Olesen, Mads Chr.; Pastva, Samuel; Srba, Jiří Extended dependency graphs and efficient distributed fixed-point computation. (English) Zbl 1393.68098 van der Aalst, Wil (ed.) et al., Application and theory of Petri nets and concurrency. 38th international conference, PETRI NETS 2017, Zaragoza, Spain, June 25–30, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-57860-6/pbk; 978-3-319-57861-3/ebook). Lecture Notes in Computer Science 10258, 139-158 (2017). MSC: 68Q60 68Q85 68W15 PDFBibTeX XMLCite \textit{A. E. Dalsgaard} et al., Lect. Notes Comput. Sci. 10258, 139--158 (2017; Zbl 1393.68098) Full Text: DOI
Mestel, David; Roscoe, A. W. Reducing complex CSP models to traces via priority. (English) Zbl 1392.68310 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 237-252 (2016). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Mestel} and \textit{A. W. Roscoe}, Electron. Notes Theor. Comput. Sci. 325, 237--252 (2016; Zbl 1392.68310) Full Text: DOI
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
Cavalcanti, Ana; Woodcock, Jim; Amálio, Nuno Behavioural models for FMI co-simulations. (English) Zbl 1482.68135 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 255-273 (2016). MSC: 68Q60 68Q55 68Q85 PDFBibTeX XMLCite \textit{A. Cavalcanti} et al., Lect. Notes Comput. Sci. 9965, 255--273 (2016; Zbl 1482.68135) Full Text: DOI Link
Oliveira, Marcel V. M.; Antonino, P.; Ramos, R.; Sampaio, A.; Mota, A.; Roscoe, A. W. Rigorous development of component-based systems using component metadata and patterns. (English) Zbl 1348.68167 Formal Asp. Comput. 28, No. 6, 937-1004 (2016). MSC: 68Q85 68N30 PDFBibTeX XMLCite \textit{M. V. M. Oliveira} et al., Formal Asp. Comput. 28, No. 6, 937--1004 (2016; Zbl 1348.68167) Full Text: DOI Link
Roscoe, A. W. The expressiveness of CSP with priority. (English) Zbl 1351.68148 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015). MSC: 68Q55 68Q10 68Q85 PDFBibTeX XMLCite \textit{A. W. Roscoe}, Electron. Notes Theor. Comput. Sci. 319, 387--401 (2015; Zbl 1351.68148) Full Text: DOI
Garavel, Hubert Revisiting sequential composition in process calculi. (English) Zbl 1330.68201 J. Log. Algebr. Methods Program. 84, No. 6, 742-762 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{H. Garavel}, J. Log. Algebr. Methods Program. 84, No. 6, 742--762 (2015; Zbl 1330.68201) Full Text: DOI
Garavel, Hubert; Lang, Frédéric; Mateescu, Radu Compositional verification of asynchronous concurrent systems using CADP. (English) Zbl 1410.68250 Acta Inf. 52, No. 4-5, 337-392 (2015). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{H. Garavel} et al., Acta Inf. 52, No. 4--5, 337--392 (2015; Zbl 1410.68250) Full Text: DOI
Gibson-Robinson, Thomas; Armstrong, Philip; Boulgakov, Alexandre; Roscoe, Andrew W. FDR3 – a modern refinement checker for CSP. (English) Zbl 1392.68300 Ábrahám, Erika (ed.) et al., Tools and algorithms for the construction and analysis of systems. 20th international conference, TACAS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54861-1/pbk). Lecture Notes in Computer Science 8413, 187-201 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{T. Gibson-Robinson} et al., Lect. Notes Comput. Sci. 8413, 187--201 (2014; Zbl 1392.68300) Full Text: DOI
Li, Liyi; Gunter, Elsa; Mansky, William Symbolic analysis tools for CSP. (English) Zbl 1432.68311 Ciobanu, Gabriel (ed.) et al., Theoretical aspects of computing – ICTAC 2014. 11th international colloquium, Bucharest, Romania, September 17–19, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8687, 295-313 (2014). MSC: 68Q85 68Q60 68V15 PDFBibTeX XMLCite \textit{L. Li} et al., Lect. Notes Comput. Sci. 8687, 295--313 (2014; Zbl 1432.68311) Full Text: DOI