Publisher
Springer Berlin Heidelberg
Reference20 articles.
1. Godefroid, P., Wolper, P., A Partial Approach to Model Checking, Proc. of LICS, 1991.
2. Goltz, U., Kuiper, R., and Penczek, W., Propositional temporal logics and equivalences, Proc. of CONCUR'92, LNCS 630, pp. 222–236, 1992.
3. Katz, S., Peled, D., Interleaving Set Temporal Logic, 6th ACM Symposium on Principles of Distributed Computing, Vancouver Canada, pp. 178–190, 1987.
4. Lodaya, K., Parikh, R., Ramanujam, R., and Thiagarajan, P.S., A Logical Study of Distributed Transition Systems, submitted to publication.
5. Mazurkiewicz, A., Basic Notions of Trace Theory, LNCS 354, pp. 285–363, 1988.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Partial order based design of concurrent systems;A Decade of Concurrency Reflections and Perspectives;1994