| Honda, K. and Yoshida, N., Nameless Concurrent Combinators, under preparation, December 1994, to appear as a Keio-CS-report. |
....Section 5 presents the construction of behavioural equalities over process graphs with examples and studies their elementary properties. Section 6 summarises other results on process graphs and discusses related work and further issues. 2. Process Graphs (1) Basic Definition Process graphs (cf. [12]) are nameless representation of processes, using the notion of graphs and their composition. Any graph is composed from a finite number of atomic agents and their connection. The results in [9, 10] already showed that the full expressive power of interacting processes can be obtained using a ....
Honda, K. and Yoshida, N., Nameless Concurrent Combinators, under preparation, December 1994, to appear as a Keio-CS-report.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC