Long-run order-independence of vector-based transition systems

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema. Long-run order-independence of vector-based transition systems. IET Computers & Digital Techniques, 5(6):468-478, 2011. [doi]

Abstract

Abstract is missing.