karam@sce.carleton.ca (Gerald Karam) (12/16/89)
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