Author:
Kleijn Jetty,Koutny Maciej,Pietkiewicz-Koutny Marta,Rozenberg Grzegorz
Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference19 articles.
1. Badouel, E.: Algorithms for Net Synthesis. Private communication (2011)
2. Badouel, E., Bernardinello, L., Darondeau, P.: The synthesis problem for elementary net systems is NP-complete. Theor. Comput. Sci. 186(1–2), 107–134 (1997)
3. Badouel, E., Darondeau, P.: Theory of regions. In: Reisig and Rozenberg [16], pp. 529–586
4. Bruni, R., Melgratti, H.C., Montanari, U.: A connector algebra for P/T nets interactions. In: Katoen, J.P., König, B. (eds.) CONCUR. Lecture Notes in Computer Science, vol. 6901, pp. 312–326. Springer, Berlin (2011)
5. Cortadella, J., Kishinevsky, M., Kondratyev, A., Lavagno, L., Yakovlev, A.: Logic Synthesis of Asynchronous Controllers and Interfaces. Springer, Berlin (2002)
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献