Modelling Ada in CSP

Matt Melchert <>
Wed, 30 Jun 1993 03:01:00 GMT

          From comp.compilers

Related articles
Modelling Ada in CSP (Matt Melchert) (1993-06-30)
| List of all articles for this month |

Newsgroups: comp.compilers
From: Matt Melchert <>
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,


Post a followup to this message

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