Fond (and Frank) Memories of Frank

1. 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)

   Chapter  Google Scholar 

2. 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)

   Chapter  Google Scholar 

3. 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. 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)

   Chapter  Google Scholar 

5. Gupta, V., Jagadeesan, R., Saraswat, V.A.: Computing with continuous change. Sci. Comput. Program. 30(1), 3–49 (1998)

   Article  MathSciNet  MATH  Google Scholar 

6. 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. 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)

   MathSciNet  MATH  Google Scholar 

8. 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 1987

   Google Scholar 

9. Saraswat, V.A.: Concurrent Constraint Programming Languages. Doctoral Dissertation Award and Logic Programming Series. MIT Press, Cambridge (1990)

   Google Scholar 

10. 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. Saraswat, V., Jagadeesan, R., Gupta, V.: Timed default concurrent constraint programming. J. Symbolic Comput. 22(5), 475–520 (1996)

    Article  MathSciNet  MATH  Google Scholar 

12. 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 

Download references