The reflexive CHAM and the join-calculus

Cédric Fournet, Georges Gonthier
1996 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '96  
By adding re exion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with mobility and distribution. Our model provides the foundations of a programming language with functional and object-oriented features. It can also be seen as a process calculus, the join-calculus, which we prove equivalent to the -calculus of Milner, Parrow and Walker. * ) 'readyhlaseri j jobh1i jobh2i Denoted D or J . P , a reaction consumes compound molecules that
more » ... a speci c join pattern J, and produces new molecules in the solution that are copies of P where the formal parameters of J have been instantiated to the transmitted values. This corresponds to reduction steps on the whole solution (R M ) ;! (R M 0 ). Continuing our example, we add a reaction that matches printers and jobs, then sends the lename to the printer:
doi:10.1145/237721.237805 dblp:conf/popl/FournetG96 fatcat:3qgfhojuofhxzebzgbga5gy4me