1. Process Calculus

2. Processes and Events

4. Example A vending machine for tea & coffee:
Note we allow recursion here.

5. Interaction
New Process Syntax:

6. Actions and Operational Semantics

7. Example

8. Example (cont’d)

9. Replication or
A recursive definition X = P(X) can be simulated using the activator A:
Compose A with an initiator:

10. Replication – Examples
A vending machine for tea & coffee:
V can be simulated by V0 || V1, where:

11. Allocating New Channels
New equivalence rules:

12. Statics and Dynamics
Static checking of channels:

13. Statics and Dynamics (cont’d)
Events:
Operational semantics:

14. Statics and Dynamics (cont’d)
Operational semantics:
Example:

15. Communication
Communication events:
New channels (with types):

16. Communication – Statics

17. Communication – Statics (2)

18. Communication – Actions

19. Communication – Operational Semantics

20. Channel Passing
Channels can be send/recved as regular values. This allows dynamic change of comm. configurations.
scope extrusion

21. Channel Passing (cont’d)
Statics:

22. Channel Passing (cont’d)