Author:
Mukund Madhavan,Sohoni Milind
Publisher
Springer Berlin Heidelberg
Reference10 articles.
1. R. Cori, E. Sopena: Some combinatorial aspects of time-stamp systems, Europ. J. Combinatorics, 14 (1993) 95–102.
2. V. Diekert, A. Muscholl: Deterministic asynchronous automata for infinite traces, Proc. STACS '93, LNCS
665 (1993) 617–628.
3. D. Dolev, N. Shavit: Bounded concurrent time-stamps are constructible, Proc. ACM STOC (1989) 454–466.
4. P. Gastin, A. Petit: Asynchronous cellular automata for infinite traces, Proc. ICALP '92, LNCS
623 (1992) 583–594.
5. P. Godefroid, P. Wolper: A partial order approach to model checking, Proc. 6th IEEE LICS, Amsterdam (1991) 406–415.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献