Results 1 -
1 of
1
Action structures and the ��-calculus, in Proof and Computation (1993)
by R Milner
| Venue: | Schwichtenberg, Series F: Computer and Systems Sciences, NATO Advanced Study Institute, (Proceedings of International Summer School held in Marktoberdorf |

