Discrete Dynamical Systems for encoding Concurrent Computing Systems | IEEE Conference Publication | IEEE Xplore