Publisher
Springer Berlin Heidelberg
Reference17 articles.
1. Emerson, E.A.: Temporal and Modal Logic. In: van Leeuwen, J. (ed.) Handbook of Theoretical Computer Science. Formal Models and Semantics, vol. B, ch. 16, pp. 995–1072. The MIT Press/Elsevier (1990)
2. Etalle, S., Gabbrieli, M.: Partial evaluation of concurrent constraint languages. ACM Computing Surveys 30(3) (September 1998)
3. Lecture Notes in Computer Science;R. Glück,1996
4. Hagiya, M., Introduction for Cryptosystem The University of Tokyo (2010) (in Japanase), http://hagi.is.s.u-tokyo.ac.jp/pub/staff/hagiya/kougiroku/ango/intro.pdf
5. Harel, D., Pnueli, A.: On the Development of Reactive Systems. In: Apt, K.R. (ed.) Logic and Models of Concurrent Systems. Springer, New York (1985)