Publisher
Springer Berlin Heidelberg
Reference7 articles.
1. Brookes S.D. and Rounds W.C. Behavioural equivalence relations induced by programming logics. Proceedings 10th ICALP, 83, LNCS Vol.154
2. Graf S. Logiques du temps arborescent pour la spécification et la preuve de programmes. Thèse 3ème Cycle, IMAG, Grenoble, February, 84
3. Graf S. and Sifakis J. A modal characterization of observational congruence on finite terms of CCS. R.R. no 402, IMAG, November 83
4. Hennessy M. and Milner R. On observing nondeterminism and concurrency. Proceedings 7th ICALP, 80. LNCS Vol. 85
5. Kozen D. Results on the propositional μ-calculus. Proceedings 9th ICALP, 82. LNCS Vol. 140
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献