* Wanted: Tasks termination formal model
@ 1993-03-05 16:14 cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka
0 siblings, 0 replies; only message in thread
From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka @ 1993-03-05 16:14 UTC (permalink / raw)
I'm working on distributed Ada and I need a formal model of Ada Tasks terminati
on
semantics. I'd be gratefull to anyone who could mail pointers to works dealing
with the Ada termination model
--
-----=================================-------
Dawit BEKELE
IRIT, Universite Paul Sabatier, Toulouse
tel 61 55 63 55
------===============================-----------
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~1993-03-05 16:14 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1993-03-05 16:14 Wanted: Tasks termination formal model cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox