KRoC

swMATH5472MaRDI QIDQ17611FDOQ17611

Author name not available (Why is that?)

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

Cited In (6)

• occam-pi
• Handel-C
• Title not available (Why is that?)
• JCSP
• Communicating Sequential Processes. The First 25 Years
• The symbiosis of concurrency and verification: teaching and case studies

This page was built for software: KRoC