@article{article, title = {{Concurrent and Real-Time Systems: The CSP Approach, Steve Schneider, Wiley, 2000 (Book Review).}}, url = {{}}, year = {{2000}}, month = {{1}}, author = {{Derrick J}}, volume = {{10}}, journal = {{Softw. Test. Verification Reliab.}}, pages = {{195-195}}, note = {{Accessed on 2025/08/05}}}