Publisher
Springer Berlin Heidelberg
Reference18 articles.
1. Arnold A., Nivat M. (1982): Comportements de processus, Colloque AFCET, “Les Mathématiques de l'Informatique”, p. 35–68
2. Badouel E., Bernardinello L., Darondeau Ph. (1997): The synthesis problem for elementary net systems is NP-complete, TCS 186, p. 107–134
3. Bednarczyk M.A. (1987): Categories of Asynchronous Systems, thesis, University of Sussex
4. Duboc C. (1986): Mixed product and asynchronous automata, TCS 48, p. 183–199
5. Ehrenfeucht A., Rozenberg G. (1990): Partial (Set) 2-structures, Part II: State spaces of concurrent systems, Acta Informatica, Vol. 27, p. 343–368
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献