Transforming sequential processes of net systems into concurrent ones
International Journal of Knowledge-based and Intelligent Engineering Systems
Fair Synthesis for Asynchronous Distributed Systems
ACM Transactions on Computational Logic (TOCL)
Hi-index | 5.23 |