Inputs and Outputs in CSP

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

zbMATH Keywords

process algebrarefinementexhaustive test setrefusal-testing model

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)

Related Items (2)

Testing using CSP Models: Time, Inputs, and Outputs ⋮ Removing redundant refusals: minimal complete test suites for failure trace semantics

This page was built for publication: Inputs and Outputs in CSP