CSP

swMATH8678MaRDI QIDQ20681FDOQ20681

Author name not available (Why is that?)

Official website: http://en.wikipedia.org/wiki/Communicating_sequential_processes

Cited In (1)

• A tracking semantics for CSP

This page was built for software: CSP