From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on
	ip-172-31-74-118.ec2.internal
X-Spam-Level: 
X-Spam-Status: No, score=0.0 required=3.0 tests=BAYES_20,MSGID_SHORT
	autolearn=no autolearn_force=no version=3.4.5-pre1
Date: 5 Mar 93 16:14:41 GMT
From: cis.ohio-state.edu!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka
.de!math.fu-berlin.de!mailgzrz.TU-Berlin.DE!news.netmbx.de!Germany.EU.net!mcsun
!julienas!cix!irit!bekele@ucbvax.  (Dawit BEKELE)
Subject: Wanted: Tasks termination formal model
Message-ID: <3030@irit.irit.fr>
List-Id: <comp.lang.ada>

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
------===============================-----------