Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat. Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundamenta Informaticae, 82(4):465-512, 2008. [doi]
@article{EsmaeilsabzaliDM08,
title = {Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata},
author = {Shahram Esmaeilsabzali and Nancy A. Day and Farhad Mavaddat},
year = {2008},
url = {http://iospress.metapress.com/content/8171018512185763/},
researchr = {https://researchr.org/publication/EsmaeilsabzaliDM08},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {82},
number = {4},
pages = {465-512},
}