Order-Independence of Vector-Based Transition Systems

Matthias Raffelsieper, Mohammad Reza Mousavi, Hans Zantema. Order-Independence of Vector-Based Transition Systems. In Luís Gomes, Victor Khomenko, João M. Fernandes, editors, 10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010. pages 115-123, IEEE Computer Society, 2010. [doi]

Authors

Matthias Raffelsieper

This author has not been identified. Look up 'Matthias Raffelsieper' in Google

Mohammad Reza Mousavi

This author has not been identified. Look up 'Mohammad Reza Mousavi' in Google

Hans Zantema

This author has not been identified. It may be one of the following persons: Look up 'Hans Zantema' in Google