Author:
Mohalik Swarup,Ramanujam R.
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Alur, R., and Henzinger, T., “Local liveness for compositional modelling of fair reactive systems”, LNCS 939, 1995, 166–179.
2. Cori, R., Metivier, Y. and Zielonka, W., “Asynchronous mappings and asynchronous cellular automata”, Information and Computation, vol 106, 1993, 159–202.
3. Diekert, V. and Muscholl, A., “Deterministic asynchronous automata for infinite traces”, LNCS 665, 1993, 617–628.
4. Diekert, V. and Rozenberg, G., The book of traces, World Scientific Press, 1995.
5. Fagin, R., Halpern, J., Moses, Y. and Vardi, M., Reasoning about knowledge, M.I.T. Press, 1995.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献