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

Beginner in Occam

To: occam-com@xxxxxxxxxx
Subject: Beginner in Occam
From: fnl1@xxxxxxxxxxxxxxx
Date: Wed, 04 Jun 2008 10:05:35 +0100
Delivery-date: Wed, 04 Jun 2008 10:05:45 +0100
Envelope-to: ats@xxxxxxxxxxxxxxxx
In-reply-to:
List-help: <mailto:sympa@kent.ac.uk?subject=help>
List-id: <occam-com.kent.ac.uk>
List-owner: <mailto:occam-com-request@kent.ac.uk>
List-post: <mailto:occam-com@kent.ac.uk>
List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20occam-com>
List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20occam-com>
Sender: Mailing_List_Robot <sympa@xxxxxxxxxx>

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
to.....

Hope to have a response soon

Thanks
Regards,
Farah

Follow-Ups:
- Re: Beginner in Occam
  - From: Allan McInnes

Prev by Date: Finding concurrency errors in Java (Web seminar)
Next by Date: Occam Programming
Previous by thread: Finding concurrency errors in Java (Web seminar)
Next by thread: Re: Beginner in Occam
Index(es):
- Date
- Thread