Path: 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: Sender: kremer@cs (Harro Kremer) Organization: University of Twente, Dept. of Computer Science Lines: 25 Originator: kremer@utis93 In article , 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 __/ \__________ | \___/ | 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 -