From: dewar@cs.nyu.edu (Robert Dewar)
Subject: Re: Ada tasking issues
Date: 1996/06/06
Date: 1996-06-06T00:00:00+00:00 [thread overview]
Message-ID: <dewar.834101798@schonberg> (raw)
In-Reply-To: 4p7418$hi2@news.eecs.uic.edu
Ravi asks
"I've been looking at Ada95 lately. I'm trying to model the Ada95
tasking constructs using petrinets. Could anyone let me know if
there are any papers published already in this area.
"
I don't have any references, but it's worthwhile to keep looking, I
*know* that there was some work in the area of modeling Ada 83
tasking with petrinets (might have been an Esprit project ???)
next prev parent reply other threads:[~1996-06-06 0:00 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1996-06-06 0:00 Ada tasking issues Ravi Gedela
1996-06-06 0:00 ` Robert Dewar [this message]
1996-06-06 0:00 ` Robert A Duff
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox