What does the comma mean in m, c := E(K, m)
It's a comma to separate the two things.  Alice has $m$ and can calculate $c$ which is equal to $E(K_{e}, m)$.  Bob has $c$ and can calculate $m$ which is equal to $D(K_{e}, c)$.