Fond (and Frank) Memories of Frank

  • Prakash Panangaden
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9660)


How can Frank be 60? I’m only, oh yeah wait, it all comes back to me now! Frank is so youthful and vigorous that it seems hard to believe that he is approaching 60; the new 40 as the popular saying goes.


  1. [CKP09]
    Chatzikokolakis, K., Knight, S., Panangaden, P.: Epistemic strategies and games on concurrent processes. In: Nielsen, M., Kučera, A., Miltersen, P.B., Palamidessi, C., Tůma, P., Valencia, F. (eds.) SOFSEM 2009. LNCS, vol. 5404, pp. 153–166. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. [dBP90]
    de Boer, F.S., Palamidessi, C.: On the asynchronous nature of communication in concurrent logic languages: a fully abstract model based on sequences. In: Baeten, J.C.M., Klop, J.W. (eds.) CONCUR 1990. LNCS, vol. 458, pp. 99–114. Springer, Heidelberg (1990)CrossRefGoogle Scholar
  3. [GJP99]
    Gupta, V., Jagadeesan, R., Panangaden, P.: Stochastic processes as concurrent constraint programs. In: Proceedings of the 26th Proceedings Of The Annual ACM Symposium On Principles Of Programming Languages, pp. 189–202 (1999)Google Scholar
  4. [GJS97]
    Gupta, V., Jagadeesan, R., Saraswat, V.: Probabilistic concurrent constraint programming. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol. 1243, pp. 243–257. Springer, Heidelberg (1997)CrossRefGoogle Scholar
  5. [GJS98]
    Gupta, V., Jagadeesan, R., Saraswat, V.A.: Computing with continuous change. Sci. Comput. Program. 30(1), 3–49 (1998)MathSciNetCrossRefzbMATHGoogle Scholar
  6. [JPP89]
    Jagadeesan, R., Panangaden, P., Pingali, K.: A fully abstract semantics for a functional language with logic variables. In: Proceedings of IEEE Symposium on Logic in Computer Science, pp. 294–303 (1989)Google Scholar
  7. [MPSS95]
    Mendler, N.P., Panangaden, P., Scott, P.J., Seely, R.A.G.: A logical view of concurrent constraint programming. Nord. J. Comput. 2, 182–221 (1995)MathSciNetzbMATHGoogle Scholar
  8. [Sar87]
    Saraswat, V.A.: The concurrent logic programming language cp: definition and operational semantics. In Proceedings of the SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 49–62. ACM, January 1987Google Scholar
  9. [Sar90]
    Saraswat, V.A.: Concurrent Constraint Programming Languages. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge (1990)Google Scholar
  10. [SJG94]
    Saraswat, V.A., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: Proceedings of the Ninth Annual IEEE Symposium On Logic In Computer Science, Paris, 1994, pp. 71–80. IEEE Press (1994)Google Scholar
  11. [SJG96]
    Saraswat, V., Jagadeesan, R., Gupta, V.: Timed default concurrent constraint programming. J. Symbolic Comput. 22(5), 475–520 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  12. [SRP91]
    Saraswat, V.A., Rinard, M., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages (1991)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2016

Authors and Affiliations

  1. 1.School of Computer ScienceMcGill UniversityMontréalCanada

Personalised recommendations