Publisher
Springer Science and Business Media LLC
Reference12 articles.
1. A. Pnueli and R. Rosner, “On the synthesis of a reactive module,” in: Proc. 16th ACM Symp. on Principles of Programming Languages, ACM Press, New York (1989), pp. 179–190.
2. M. Abadi, L. Lamport, and P. Wolper, “Realizable and unrealizable specifications of reactive systems,” in: Proc. Intern. Colloq. on Automata, Languages, and Programming; Lect. Notes Comput. Sci., 372, 1–17 (1989).
3. D. L. Dill, “Trace theory for automatic hierarchical verification of speed independent circuits,” in: J. Allen and F. T. Leighton (eds), Adv. Res. in VLSI, MIT Press, Cambridge (1988), pp. 51–65.
4. L. de Alfaro, M. Faella, R. Majumdar, and V. Raman, “Code aware resource management,” in: Proc. 5th Intern. ACM Conf. on Embedded Software (EMSOFT 05), ACM Press, New York (2005), pp. 191–202.
5. S. Kremer and J.-F. Raskin, “A game-based verification of non-repudiation and fair exchange protocols,” in: Proc. 12th Intern. Conf. on Concurrency Theory (CONCUR 01); Lect. Notes Comput. Sci., 2154, 551–565 (2001).