From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka
Subject: Wanted: Tasks termination formal model
Date: 5 Mar 93 16:14:41 GMT [thread overview]
Message-ID: <3030@irit.irit.fr> (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
------===============================-----------
reply other threads:[~1993-03-05 16:14 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox