KRoC

MaRDI QIDQ17611swMATHFDO

Official website http://www.cs.kent.ac.uk/projects/ofa/kroc/

Cited in

(6)

• occam-pi
• Handel-C
• JCSP
• scientific article; zbMATH DE number 2087134 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years
• The symbiosis of concurrency and verification: teaching and case studies

This page was built for software: KRoC