Xref: utzoo comp.misc:11117 comp.specification:245
Path: utzoo!utgpu!news-server.csri.toronto.edu!bonnie.concordia.ca!thunder.mcrcim.mcgill.edu!snorkelwacker.mit.edu!usc!zaphod.mps.ohio-state.edu!wuarchive!uunet!mcsun!ukc!dcl-cs!msm
From: msm@comp.lancs.ac.uk (Mark S Madsen)
Newsgroups: comp.misc,comp.specification
Subject: reference request
Summary: please help
Keywords: ignorance
Message-ID: <1150@dcl-vitus.comp.lancs.ac.uk>
Date: 10 Jan 91 11:44:08 GMT
References: that's what I want!
Reply-To: msm@comp.lancs.ac.uk (Mark S Madsen)
Organization: Department of Computing at Lancaster University, UK.
Lines: 25



Hi, I'm trying to identify a book from a xerox copy someone left
behind in a filing cabinet - *someone* on the net knows the answer,
I'm sure.

Characteristics: the xerox I have is of Chapter 8, which is called
"Concurrent Processes", starts on page 87, and discusses the work of
Milne and Milner - basically CCS stuff.  The latest reference is to
Milner's 1983 paper, so I guess the book dates from about 1985 or
1986.  Chapter 9 is called "Petri Nets and Data Flow", and starts on
page 105.

Sound familiar?  Can anybody identify this book and give me a
reference??  Please send replies by email, but feel free to post to
the net as well.

Thanks in advance,
Mark

-- 
______________________________________________________________________
      Mark S Madsen   +44-524-65201x3819    msm@comp.lancs.ac.uk
      Department of Computing, Lancaster University, LA1 4YR, UK
______________________________________________________________________