Author:
Sigurdarson Steinar Hugi,Sirjani Marjan,Björnsson Yngvi,Reynisson Arni Hermann
Publisher
Springer Berlin Heidelberg
Reference33 articles.
1. Agha, G.A., Mason, I.A., Smith, S.F., Talcott, C.L.: A foundation for actor computation. Journal of Functional Programming 7(1), 1–72 (1997)
2. Burch, J., Clarke, E., McMillan, K., Dill, D., Hwang, L.: Symbolic model checking: 10 ∧ 20 states and beyond. In: [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, vol. (4976), pp. 428–439 (1986)
3. Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Transactions on Programming Languages and Systems 16(5), 1512–1542 (1994)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
5. Dijkstra, E.: Self-stabilizing systems in spite of distributed control. Communications of the ACM 17(11), 643–644 (1974)