Inputs and Outputs in CSP
From MaRDI portal
Publication:5121275
DOI10.1145/3379508zbMath1446.68103OpenAlexW3027679286MaRDI 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
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Testing using CSP Models: Time, Inputs, and Outputs, Removing redundant refusals: minimal complete test suites for failure trace semantics