FDR: from theory to industrial application

DOI10.1007/978-3-319-51046-0_4zbMath1485.68008OpenAlexW2567338575MaRDI QIDQ1708711

Philippa Hopcroft, Sidney Nogueira, Guy Broadfoot, Colin O'Halloran, Gavin Lowe, Gustavo Carvalho, Thomas Gibson-Robinson, Augusto Sampaio

Publication date: 26 March 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-51046-0_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) History of computer science (68-03)

This page was built for publication: FDR: from theory to industrial application