@inproceedings{Mar92,
title = {Operational and Compositional Semantics of Synchronous Automaton Compositions },
author = {Maraninchi, Florence},
month = {aug},
year = {1992},
booktitle = {International Conference on Concurrency Theory (CONCUR)},
publisher = {LNCS 630, Springer Verlag},
team = {SYNC},
}
