Author:
Hirschkoff Daniel,Pous Damien
Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Lecture Notes in Computer Science;L. Aceto,2005
2. Boreale, M., Sangiorgi, D.: Some congruence properties for π-calculus bisimilarities. Theoretical Computer Science 198, 159–176 (1998)
3. Christensen, S., Hirshfeld, Y., Moller, F.: Decidable subsets of CCS. Computer Journal 37(4), 233–242 (1994)
4. Hennessy, M., Milner, R.: Algebraic laws for nondeterminism and concurrency. Journal of ACM 32(1), 137–161 (1985)
5. Hirschkoff, D., Pous, D.: Extended version of this abstract,
http://hal.archives-ouvertes.fr/hal-00375604/
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献