Miklós Bartha. An Algebraic Model of Synchronous Systems. Inf. Comput., 97(1):97-131, March 1992.
@article{Bartha92, title = {An Algebraic Model of Synchronous Systems}, author = {Miklós Bartha}, year = {1992}, month = {March}, tags = {meta-model, algebra, Meta-Environment}, researchr = {https://researchr.org/publication/Bartha92}, cites = {0}, citedby = {0}, journal = {Inf. Comput.}, volume = {97}, number = {1}, pages = {97-131}, }