db@lfcs.ed.ac.uk (Dave Berry) (12/18/89)
In article <669@cluster.cs.su.oz> johnz@cluster.cs.su.oz (John Zic) writes: >LOTOS is based on Robin Milner's CCS with the addition of >abstract data types (provided by ACT-ONE). Here's the reference: A better reference is: Robin Milner, "Communication and Concurrency", Prentice-Hall, 1989. ISBN 0-13-114984-9 0-13-115007-3 Pbk. >I regard LOTOS as a specification technique, rather than an >implementation language -- although there may be some implementation >of LOTOS around. Warning -- religious belief follows -- stick to >Occam; it is a nice implementation of the CSP algebra with which one >can reason about safety etc of a specification in the CSP >traces/failures/divergences model. Would you like to start a thread comparing CCS/Lotos and CSP/Occam ? What little I've seen of the theory of CSP seems strongly influenced by CCS, & I'd like to know more about the differences, and also about experience of actually using either model. We distribute an implementation of CCS for the costs of distribution. Mail paul@lfcs.ed.ac.uk if you would like a copy. I think it's only available for Vaxen and Sun 3s. If anyone is interested in Milner's more recent work on this subject, you may be interested in the following tech. reports (I think they're free). Mail Dorothy McKie (dam@lfcs.ed.ac.uk) for copies. Robin Milner, Joachim Parrow & David Walker, "A Calculus of Mobile Processes, Part 1", ECS-LFCS-89-85, June 1989. Robin Milner, Joachim Parrow & David Walker, "A Calculus of Mobile Processes, Part 2", ECS-LFCS-89-85, June 1989. These describe a CCS-like calculus in which channels can be passed from one process to another. Part 1 is a generqal description, part 2 includes all the proofs and heavy stuff. I hope this isn't too much like advertising. We're not making money from this stuff. Dave Berry, Laboratory for Foundations db%lfcs.ed.ac.uk@nsfnet-relay.ac.uk of Computer Science, Edinburgh Uni. <Atlantic Ocean>!mcvax!ukc!lfcs!db "leIsANewEntertainment:GuerillaWarStruggleIsANewEntertainment:GuerillaWarStrug"
johnz@cluster.cs.su.oz (John Zic) (12/21/89)
I sat down, and started to write what I was going to say about CSP (and how it compares to original CCS), but I decided to stop at about page 5 as it was too long for posting. Besides, you can read about it in the soon to appear (if canhelp it) Thesis. So, I throw the following question to the net (and in particular you, Dave) -- What do you want to know about CSP in particular, and CCS in general?