Article View: comp.specification
Article #127Re: specification problem using Estelle
From: Darren New
Date: Thu, 07 Jun 1990 19:53
Date: Thu, 07 Jun 1990 19:53
16 lines
872 bytes
872 bytes
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
Technical Details
Message-ID:
<21400@estelle.udel.EDU>Path:
arc1-ca.pugleaf.net!utzoo!attcan!uunet!aplcen!samsung!cs.utexas.edu!tut.cis.ohio-state.edu!purdue!haven!udel!newReferences:
<36061@shemp.CS.UCLA.EDU>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!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