The fork calculus [chapter]

Klaus Havelund, Kim G. Larsen
1993 Lecture Notes in Computer Science  
The Fork Calculus FC presents a theory of communicating systems in family with CCS, but it differs in the way that processes are put in parallel. In CCS there is a binary parallel operator |, and two processes p and q are put in parallel by p|q. In FC there is a unary fork operator, and a process p is activated to "run in parallel with the rest of the program" by fork(p). An operational semantics is defined, and a congruence relation between processes is suggested. In addition, a sound and
more » ... ete axiomatisation of the congruence is provided. FC has been developed during an investigation of the programming language CML, an extension of ML with concurrency primitives, amongst them a fork operator.
doi:10.1007/3-540-56939-1_101 fatcat:5v66kuk7nfagritx3sopxorrsy