If you're looking for LOTOS (was Re: CSP)

Article View: comp.lang.misc

Article #6537

#6537

From: Gerald Karam
Date: Sat, 16 Dec 1989 15:24

24 lines
1400 bytes

In article <6229@nigel.udel.EDU> new@udel.edu (Darren New) writes:
>grichard@hockey.cis.ohio-state.edu (Golden Richard) writes:
>
>>I'm looking for an implementation of a (super?)set of Hoare's
>>CSP notation.  It need be neither distributed nor very robust.
>
>You may want to look into a language called LOTOS.
>Protocol people use it to specify network protocols among other
>things.  It's based on CSP and ACT-ONE.  Ask on the networks groups
>for researchers with interpreters for it.    -- Darren

contact prof. luigi logrippo at comp.sci. univ. of ottawa

LMLSL@UOTTAWA.BITNET

for a quite good LOTOS interpreter implemented in quintus prolog.

if you are interested and mailers start bouncing you around, then
reply to me and i'll forward the message.

gerald karam

karam@sce.carleton.ca
karam@sce.uucp

Technical Details

Message-ID: <740@sce.carleton.ca>

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mitel!sce!karam

References: <74850@tut.cis.ohio-state.edu> <1989Dec11.140635.8461@cs.eur.nl> <6229@nigel.udel.EDU>

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!utzoo!attcan!utgpu!jarvis.csri.toronto.edu!clyde.concordia.ca!uunet!mitel!sce!karam
From: karam@sce.carleton.ca (Gerald Karam)
Newsgroups: comp.lang.misc
Subject: If you're looking for LOTOS (was Re: CSP)
Summary: Univ. of Ottawa
Keywords: LOTOS, CSP, ACT-ONE and the like
Message-ID: <740@sce.carleton.ca>
Date: 16 Dec 89 15:24:25 GMT
References: <74850@tut.cis.ohio-state.edu> <1989Dec11.140635.8461@cs.eur.nl> <6229@nigel.udel.EDU>
Reply-To: karam@sce.UUCP (Gerald Karam)
Organization: Systems Eng., Carleton Univ., Ottawa, Canada
Lines: 24

Reply to Parent Message