[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Call for help on CSPM
- To: Matt Jadud <matt@xxxxxxxxx>, Carl Ritson <C.G.Ritson@xxxxxxxxxx>, "P.H.Welch" <P.H.Welch@xxxxxxxxxx>, Fred Barnes <F.R.M.Barnes@xxxxxxxxxx>, "Martin, Jeremy" <Jeremy.Martin@xxxxxxxxxx>, Bill Roscoe <awroscoe@xxxxxxxxx>
- Subject: Call for help on CSPM
- From: Larry Dickson <tjoccam@xxxxxxxxxxx>
- Date: Fri, 15 Feb 2019 15:44:45 -0800
- Cc: "lindsay spacesciencescorp.com" <lindsay@xxxxxxxxxxxxxxxxxxxxx>, "rob spacesciencescorp.com" <rob@xxxxxxxxxxxxxxxxxxxxx>, Occam Family <occam-com@xxxxxxxxxx>
- Delivery-date: Fri, 15 Feb 2019 23:45:00 +0000
- Dkim-signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=tjoccam-com.20150623.gappssmtp.com; s=20150623; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=e9nV9llvyds4Jr9sHc1BooyGX1ziaBE23fxjJJm4TE8=; b=pwGcIB+E3lzl8XBRNzKcNDy1yca0cUcPbtIArjzafGuzhT4lBwqt0KDHHutZxKj1dQ yN6980Hovfda4THsdv4pB7shK77cqMRdoYJFkW8Qy+yd1rNiG2N5BGUS4VUC7nZYpFbb AHTKPCgV9oO7SDkqhG6T8g42KW3luFPpGsCpAutwwVkvtnO10uMKm8xaGw0E6uNj9NeQ YZsT96bobSatbFD4mb8GTw0+L9Xv9JkgQn6+KjY+EYyxtYyHK0kPZjTbHdlZisfoA1yg IokKmKFjI70miJ7mjG5xA5rmuUdTWN+55fe9lFV4a8zAzY83+OioXkqeKov7YTktOVBc EDyg==
- Envelope-to: ats@xxxxxxxxx
- In-reply-to: <468773F9-DAC1-4C91-9455-C29976512126@tjoccam.com>
- List-help: <mailto:sympa@kent.ac.uk?subject=help>
- List-id: <occam-com.kent.ac.uk>
- List-owner: <mailto:occam-com-request@kent.ac.uk>
- List-post: <mailto:occam-com@kent.ac.uk>
- List-subscribe: <mailto:sympa@kent.ac.uk?subject=subscribe%20occam-com>
- List-unsubscribe: <mailto:sympa@kent.ac.uk?subject=unsubscribe%20occam-com>
- References: <7FB7D636-AD2F-407D-B9B8-32DDD3B9650C@tjoccam.com> <1770900844.231631.1506105804132@webmail6.networksolutionsemail.com> <CAAGM455DF=as4O=Y6qnBOLir=cwNUMaFsFaDMJidpv4szvJALw@mail.gmail.com> <DDA4B15D-B944-4FA3-BAE4-2E6E18457BB6@tjoccam.com> <468773F9-DAC1-4C91-9455-C29976512126@tjoccam.com>
- Reply-to: Larry Dickson <tjoccam@xxxxxxxxxxx>
- Sender: occam-com-request@xxxxxxxxxx
Hello all,
I need help in translating two simple FIFO implementations into CSPM and then feeding them into programs (like FDR and Deadlock Checker) that take CSPM. We can pay a reasonable stipend.
One is the standard bunch-of-buffers-in-parallel and the other is the indexed circular buffer (shelf/store implementation to avoid output ALT). Each varies packet size (one bit or 4096 bits) and depth (5 or 256).
We need to demonstrate practical usability in data-flow problems - no state explosion - or else find a path to it. It has to be possible (Bill Roscoe and C.A.R. Hoare, "The Laws of occam Programming," 1986; and I did it using "Ground Truth" at CPA2017), but I am wondering if anyone is still working on CSPM? There has to be some way to translate functional language into real computing; or else, I heard a rumor you could do variables as processes?
If anyone is interested I can provide the SHORT documentation.
Larry Dickson