Path: utzoo!attcan!uunet!aplcen!samsung!cs.utexas.edu!tut.cis.ohio-state.edu!purdue!haven!udel!new
From: new@udel.EDU (Darren New)
Newsgroups: comp.specification
Subject: Re: specification problem using Estelle
Message-ID: <21400@estelle.udel.EDU>
Date: 7 Jun 90 19:53:04 GMT
References: <36061@shemp.CS.UCLA.EDU>
Reply-To: new@ee.udel.edu (Darren New)
Organization: University of Delaware
Lines: 16

In article <36061@shemp.CS.UCLA.EDU> swu@oahu.cs.ucla.edu (Chi-Sharn Wu) writes:
>Is ther any nice way to specify such multiple independent 
>timers using Estelle ?

Sure!   Just make a separate transition for each timer.  For example

any i : 1 .. 20
   provided sent[i] and not acked[i]
     delay(mintimeout, maxtimeout)
	name retrans:
	  begin
	     output outip.windowsaved[i]
	  end;

All the delays will run independantly.
		  -- Darren