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