Author:
Smolka Scott A.,Steffen Bernhard
Reference11 articles.
1. J. C. M. Baeten, J. A. Bergstra, and J. W. Klop. Syntax and defining equations for an interrupt mechanism in process algebra. Fundamenta Informaticae IX, pages 127–168, 1986.
2. Technical report;J. Camilleri,1989
3. R. Cleveland and M. Hennessy. Priorities in process algebras. In Proceedings of 3rd Annual IEEE Symposium on Logic in Computer Science, pages 193–202, Edinburgh, Scotland, July 1988.
4. A. Giacalone, C.-C. Jou, and S. A. Smolka. Algebraic reasoning for probabilistic concurrent systems. In Proceedings of Working Conference on Programming Concepts and Methods, Sea of Gallilee, Israel, April 1990. IFIP TC 2.
5. K. G. Larsen and A. Skou. Bisimulation through probabilistic testing. In Proceedings of 16th Annual ACM Symposium on Principles of Programming Languages, 1989.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献