infpve@utrcu1.UUCP (Peter van Eijk) (02/28/89)
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;