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]
@inproceedings{RaffelsieperMZ10, title = {Order-Independence of Vector-Based Transition Systems}, author = {Matthias Raffelsieper and Mohammad Reza Mousavi and Hans Zantema}, year = {2010}, doi = {10.1109/ACSD.2010.24}, url = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2010.24}, tags = {rule-based}, researchr = {https://researchr.org/publication/RaffelsieperMZ10}, cites = {0}, citedby = {0}, pages = {115-123}, booktitle = {10th International Conference on Application of Concurrency to System Design, ACSD 2010, Braga, Portugal, 21-25 June 2010}, editor = {Luís Gomes and Victor Khomenko and João M. Fernandes}, publisher = {IEEE Computer Society}, isbn = {978-0-7695-4066-5}, }