CSP

MaRDI QIDQ20681swMATHFDO

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