Hoare and Roscoe, `Laws of occam Programming'

Thread View: comp.sys.transputer

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Geraint Jones Mon, 17 Apr 1989 07:45

#2636

Author: Geraint Jones
Date: Mon, 17 Apr 1989 07:45

3 lines
636 bytes

A number of references have recently been made here to this PRG monograph;
you may find it simpler to get hold of the September 1988 copy, Vol60(2),
of Theoretical Computer Science where it appears as pp.177-229            g

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads