Inputs and Outputs in CSP
From MaRDI portal
Publication:5121275
DOI10.1145/3379508zbMath1446.68103MaRDI QIDQ5121275
Ana Cavalcanti, Sidney Nogueira, Robert M. Hierons
Publication date: 11 September 2020
Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/3379508
68Q60: Specification and verification (program logics, model checking, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Testing using CSP Models: Time, Inputs, and Outputs, Removing redundant refusals: minimal complete test suites for failure trace semantics