Hansson, H., Jonsson, B.: A logic for reasoning about time and reliability. Journal of Universal Computer Science 12, 981–1006 (2006) 53–68 (2004)įokkink, W., Pang, J.: Variations on Itai-Rodeh leader election for anonymous rings and their analysis in PRISM. In: Automated Verification of Critical Systems (AVoCS), vol. 128, pp. Springer, Heidelberg (2000)įokkink, W., Pang, J.: Simplifying Itai-Rodeh leader election for anonymous rings. 1–15 (1993)ĭe Alfaro, L., Kwiatkowska, M., Norman, G., Parker, D., Segala, R.: Symbolic model checking of concurrent probabilistic processes using MTBDDs and the kronecker representation. In: International Workshop on Logic Synthesis (IWLS), pp. IEEE Transactions on Computers C-35(8), 677–691 (1986)Ĭlarke, E., Fujita, M., McGeer, P., McMillan, K., Yang, J., Zhao, X.: Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Distributed Computing 9(4), 157–171 (1996)īryant, R.: Graph-based algorithms for boolean function manipulation. Springer, Heidelberg (2006)īrunekreef, J., Katoen, J.-P., Koymans, R., Mauw, S.: Design and analysis of dynamic leader election protocols in broadcast networks. In: Guo, M., Yang, L.T., Di Martino, B., Zima, H.P., Dongarra, J., Tang, F. MIT Press, Cambridge (2008)īordim, J.L., Ito, Y., Nakano, K.: Randomized leader election protocols in noisy radio networks with a single transceiver. Baier, C., Katoen, J.-P.: Principles of Model Checking.
0 Comments
Leave a Reply. |