Article View: comp.specification
Article #454Re: Problem with LOTOS specification
From: Harro Kremer
Date: Fri, 14 Jun 1991 13:53
Date: Fri, 14 Jun 1991 13:53
25 lines
1705 bytes
1705 bytes
In article <DLS.91Jun11202329@achilleus.austin.ibm.com>,
dls@achilleus.austin.ibm.com (David Skeen) writes:
|> Is the example wrong, or my understanding of it?
The example is correct. The parallel operator used in Bag is the |||, which is
called the interleaving operator. Expressions on both sides of the operator do
not synchronize at any gate. This value matching at the ouput gate between
recursive instances of Bag is thus not possible.
The characteristic of a bag that it can output its element in a different order
that they were put into it is important. It distinguishes for example a bag from
a set. The specification would be different for a fifo-queue.
Harro
--
___ Harro Kremer <kremer@cs.utwente.nl>
__/ \__________
| \___/ | Univ. of Twente, Dept. Computer Science, TIOS-group
|___ __ ___ | P.O. Box 217, NL-7500 AE Enschede, The Netherlands
| | | / \ (__ | tel: +31 53 89 3755 fax: +31 53 333815
| | | \__/ ___) |
| | Freedom's just another word for nothing left to lose.
|_________________| - Janis Joplin -
Technical Details
Message-ID:
<1991Jun14.155332@cs.utwente.nl>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!utrcu1!infnews!kremerReferences:
<DLS.91Jun11202329@achilleus.austin.ibm.com>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!uunet!mcsun!hp4nl!utrcu1!infnews!kremer From: kremer@cs.utwente.nl (Harro Kremer) Newsgroups: comp.specification Subject: Re: Problem with LOTOS specification Message-ID: <1991Jun14.155332@cs.utwente.nl> Date: 14 Jun 91 13:53:32 GMT References: <DLS.91Jun11202329@achilleus.austin.ibm.com> Sender: kremer@cs (Harro Kremer) Organization: University of Twente, Dept. of Computer Science Lines: 25 Originator: kremer@utis93