SDL-News: Specifying capacities of queues, ...

Subject: SDL-News: Specifying capacities of queues, ...
From: Bernd Grahlmann ( )
Date: Tue May 26 1998 - 12:52:39 GMT

The originator of this message is responsible for its content.
-----From (Bernd Grahlmann) to sdlnews -----

Dear SDL users and tool builders,

we are currently integrating SDL support into our verification tool `PEP'.
As far as verification is concerned, it makes sense to restrict the
capacity of channels and input queues, as well as the maximal number of
instances of a procedure which may be concurrently active. In order to
be compatible with other (existing) tools, I would like to know `if' and `how'
these bounds can be (explicitly) specified in the phrase representation (PR)
within other tools.

Any hints are much appreciated.


Bernd Grahlmann Universit"at Hildesheim
Dipl. Inform. Institut f"ur Informatik
Telefon (+49) 05121 / 883 -760 /-740 Samelsonplatz 1
Telefax (+49) 05121 / 860 475 D-31141 Hildesheim

-----End text from (Bernd Grahlmann) to sdlnews -----
For help, email "" with the body of your email as:
or (iff this does not answer your question) email:

This archive was generated by hypermail 2a23 : Sun Jun 16 2013 - 10:41:40 GMT