JTF-H Responder, ed. 3
The pi-Calculus Syntax and Semantics - II. Na + Cl Na + + Cl - Atoms and ionsProcesses Na, Na_plus Cl Cl_minus Reaction capabilities (valence electrons)