🚀 go-pugleaf

RetroBBS NetNews Server

Inspired by RockSolid Light RIP Retro Guy

Article View: comp.lang.misc
Article #6297

ISO specification language LOTOS / Hippo bugfix

#6297
From: Peter van Eijk
Date: Mon, 27 Feb 1989 16:32
42 lines
1839 bytes
It appears to me that comp.lang.misc is the right forum for dissussion of the 
ISO specification language LOTOS. This language (ISO standard IS 8807)
has been developed for the specification of protocols and services.

If the traffic warrants it we may move it to a new newsgroup.

A few goodies to start with:
e-mail and/or paper copies of LOTOS specs of the Transport protocol
and service can be received from Pippo Scollo:
	G. Scollo
	Dept INF/IPS
	University of Twente
	PO Box 217 
	7500 AE Enschede Netherlands

	e-mail : mcvax!utinu1!pippo

---
For those of you who have access to the LOTOS simulator Hippo
here is a fix for a bug that has been found on Sun 4 machines.

-- Diff for the bug fix: ------------------------------------------------------
Courtesy Peter Sjodin SICS Sweden
*** src/hippo/adt/transast.c.orig	Wed Sep 14 16:07:07 1988
--- src/hippo/adt/transast.c	Wed Sep 14 15:36:40 1988
***************
*** 650,656 ****
  	        else					/* var-IDENTIFIER */
  	          {
  
! 		    variable = ConvertExternVarInNumber (ext_opsym);
  		    local_term = MakeVar (variable);
  	          }
  	        term = local_term;
--- 650,656 ----
  	        else					/* var-IDENTIFIER */
  	          {
  
! 		    variable = ConvertExternVarInNumber (ext_op("",ext_opsym));
  		    local_term = MakeVar (variable);
  	          }
  	        term = local_term;
Technical Details
Message-ID: <239@utrcu1.UUCP>
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!hp4nl!utrcu1!infpve

Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!decwrl!sun!pitstop!sundc!seismo!uunet!mcvax!hp4nl!utrcu1!infpve
From: infpve@utrcu1.UUCP (Peter van Eijk)
Newsgroups: comp.lang.misc
Subject: ISO specification language LOTOS / Hippo bugfix
Message-ID: <239@utrcu1.UUCP>
Date: 27 Feb 89 16:32:08 GMT
Reply-To: infpve@utrcu1.UUCP (Peter van Eijk)
Organization: Utwente, Enschede
Lines: 42