smalltalk-tng

view doc/Joinable @ 321:c4a0718c2d3c

find changesets by author, revision, files, or words in the commit message
Sketch of dependencies
author Tony Garnock-Jones <tonygarnockjones@gmail.com>
date Sat Oct 08 15:36:03 2011 -0400 (7 months ago)
parents
children
line source
1 ---------------------------------------------------------------------------
2 processes P,Q,R:
3 x<M> asynchronous message
4 def D in P local definition
5 P | Q parallel composition
6 0 inert process
7
8 definitions D:
9 J -> P reaction rule
10 D ^ D' composition
11 top void definition
12
13 join patterns J:
14 x<M> message pattern
15 J | J' synchronization
16
17 Figure 1. Syntax for the core join calculus
18 ---------------------------------------------------------------------------
19
20
21 And now we hack on it:
22
23
24 processes P,Q,R:
25 x<M> asynchronous message
26 def D in P local definition
27 P | Q parallel composition
28 0 inert process
29
30 definitions D:
31 J -> P reaction rule
32 D ^ D' composition
33 top void definition
34
35 join patterns J:
36 x<M> message pattern
37 J | J' synchronization
38