SDL-News: Delays in Channels (repeat)

Subject: SDL-News: Delays in Channels (repeat)
Date: Mon Jan 27 1997 - 03:29:57 GMT

The originator of this message is responsible for its content.

-----From Sanjay Chakravarty <> to sdlnews -----

I am not very comfortable with the non-deterministic delays in channels

as defined by SDL88. Does this mean the ordering of events at the input

queue of a process is purely random? After all, different sequencing of

events can lead to different behaviour by the state machine. So, I would

be forced to conclude that SDL cannot be used as a language for modeling

the behaviour of a system. Am I right?





Sanjay Chakravarty | A GREAT TRUTH is

| one whose opposite

\|/ | is also a


/|\ |

| -- Thomas Mann

Email: |


-----End text from Sanjay Chakravarty <> 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:39 GMT