[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Beginner in Occam

Hi Folks,
I am Farah , recently joined PhD research in University of Leicester. My area
is Programming Safety critical embedded systems using CSP and Occam. After
going through some literature review , I wanted to get some hands on experience
, so installed KROC on Fedora and trying its examples , Can any one please help
me in moving on further on Occam platform, which books to follow and how

Hope to have a response soon