Modelling Ada in CSP

Matt Melchert <MATT@waikato.ac.nz>
Wed, 30 Jun 1993 03:01:00 GMT

          From comp.compilers
Related articles
Modelling Ada in CSP MATT@waikato.ac.nz (Matt Melchert) (1993-06-30)
| List of all articles for this month |
Newsgroups: comp.compilers
From: Matt Melchert <MATT@waikato.ac.nz>
Keywords: Ada, parallel, question
Organization: Compilers Central
Date: Wed, 30 Jun 1993 03:01:00 GMT

Can anyone point me to references on modelling Ada processes using CSP?
I am working on deadlock detection in CSP, and a lot of DD work has been
done in Ada.

Thanks in advance,

Matt
--

Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.