Concurrent semantic for the pi-calculus

1995 Theoretical Computer Science  
doi:10.1016/0304-3975(96)80137-x fatcat:wpso43mvbveqhpemgw3a3pgz3q