List of Publications of Catuscia Palamidessi

Journals
Proceedings of conferences and workshops
Book Chapters
Other Works
Lecture Notes

BACK Back to Catuscia Palamidessi's home page
Please send suggestions and comments to Catuscia Palamidessi: firstname@lix.polytechnique.fr
Last Updated: January 3, 2009. 

Journals

  1. S. Kramer, C. Palamidessi, R. Segala, A. Turrini, and C. Braun. A quantitative doxastic logic for probabilistic processes and applications to information-hiding. The Journal of Applied Non-Classical Logics. To appear. [ bib | http ]
  2. K. Chatzikokolakis, C. Palamidessi. Making Random Choices Invisible to the Scheduler. Information and Computation. To appear. [ bib | http | .pdf ]
  3. D. Cacciagrano, F. Corradini, and C. Palamidessi. Explicit fairness in testing semantics. Logical Methods in Computer Science, 5(2 - 15), 2009. [ bib | http ]
  4. R. Beauxis and C. Palamidessi Probabilistic and nondeterministic aspects of anonymity. Theoretical Computer Science, 410:4006-4025, 2009. [ bib | DOI | http | .pdf ]
  5. G. Norman, C. Palamidessi, D. Parker, P. Wu. Model checking probabilistic and stochastic extensions of the π-calculus. IEEE Transactions of Software Engineering 35(2): 209-223, 2009. [ bib | http | .pdf ]
  6. K. Chatzikokolakis, C. Palamidessi, P. Panangaden. On the bayes risk in information-hiding protocols. Journal of Computer Security, 16(5):531-571, 2008. [pdf]
  7. K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Anonymity protocols as noisy channels. Information and Computation, 206(2-4):378-401, 2008. [pdf]
  8. K. Chatzikokolakis, C. Palamidessi. A Framework to Analyze Probabilistic Protocols and its Application to the Partial Secrets Exchange. Theoretical Computer Science, 389(3):512-527, 2007. [pdf]
  9. I. Phillips, M.G. Vigliotti, C. Palamidessi. Expressiveness via leader election problems. Theoretical Computer Science, 388(1-3):267-289, 2007. [pdf]
  10. D. Cacciagrano, F. Corradini, C. Palamidessi. Separation of synchronous and asynchronous communication via testing. Theoretical Computer Science, 386(3):218-235, 2007. [pdf]
  11. Y. Deng, C. Palamidessi. Axiomatizations for probabilistic finite-state behaviors. Theoretical Computer Science. 373(1-2): 92-114, 2007. [pdf]
  12. K. Chatzikokolakis, C. Palamidessi. Probable Innocence Revisited. Theoretical Computer Science, 367(1-2):123-138, 2006. [pdf]
  13. C. Palamidessi, M. O. Herescu. A randomized encoding of the π-calculus with mixed choice. Theoretical Computer Science. 335(2-3): 373-404, 2005. [Report version: pdf, ps]
  14. C. Palamidessi. Comparing the Expressive Power of the Synchronous and the Asynchronous π-calculus. Mathematical Structures in Computer Science, 13(5): 685-719, 2003. [pdf, ps]
  15. R. McDowell, D. Miller, C. Palamidessi. Encoding Transition Systems in Sequent Calculus. Theoretical Computer Science, 294(3): 411-437, 2003. [Abstract, ps]
  16. M. Nielsen, C. Palamidessi, F.D. Valencia. Temporal Concurrent Constraint Programming: Denotation, Logic and Applications. Nordic Journal of Computing, 9(1): 145-188, 2002. [ps]
  17. D. Miller, C. Palamidessi. Foundational Aspects of Syntax. ACM Computing Surveys, 31(3es):11, 1999. [ps]
  18. F.S. de Boer, M. Gabbrielli, E. Marchiori, C. Palamidessi. Proving Concurrent Constraint Programs Correct. ACM-TOPLAS, 19(5):685-725, 1998. [Abstract, ps]
  19. M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Confluence in Concurrent Constraint Programming. Theoretical Computer Science, 183(2):281-315, 1997. [Abstract, ps]
  20. M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. Information and Computation, 137(1):41-67, 1997. [ps]
  21. A. Cortesi, G. Filé, R. Giacobazzi, F. Ranzato, C. Palamidessi. Complementation in Abstract Interpretation. ACM-TOPLAS, 19(1):7-47, 1997. [Abstract, ps]
  22. F.S. de Boer, A. Di Pierro, C. Palamidessi. An algebraic perspective of constraint logic programming. Journal of Logic and Computation, 7(1): 1-38, 1997. [Abstract, ps]
  23. R. Giacobazzi, F. Ranzato, C. Palamidessi. Weak Relative Pseudo-Complements of Closure Operators. Algebra Universalis, 36(3): 405-412, 1996. [Abstract, ps]
  24. F.S. de Boer, A. Di Pierro, C. Palamidessi. Infinite computations in nondeterministic constraint programming. Theoretical Computer Science, 151(1):37-78, 1995. [Abstract, ps]
  25. A. Di Pierro, M. Martelli, C. Palamidessi. Negation as Instantiation. Information and Computation, 120(2):263-278, 1995. [Abstract, ps]
  26. K.R. Apt, E. Marchiori, C. Palamidessi. A Declarative Approach for First-Order Built-in's of Prolog. Applicable Algebra in Engineering, Communication and Computing, 5(3/4):159-191, 1994. [Abstract, ps]
  27. F.S. de Boer, C. Palamidessi. Embedding as a Tool for Language Comparison. Information and Computation. 108(1):128-157, 1994. [Abstract, ps]
  28. M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Information and Computation, 103(1):86-113, 1993. [Abstract]
  29. S. Haridi, S. Janson, C. Palamidessi. Structural tranformational semantics for Kernel Andorra Prolog. Future Generation Computer Systems, 8(4):409-421, 1992.
  30. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. From failure to success: Comparing a denotational and a declarative semantics for Horn Clause Logic. Theoretical Computer Science, 101(2):239-263, 1992.
  31. P.G. Bosco, E. Giovannetti, C. Moiso, C. Palamidessi. Logic programming with equations. Journal of Logic Programming, 11(1):85-89, 1991.
  32. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. Semantic models for Concurrent Logic Languages. Theoretical Computer Science, 86(1):3-33, 1991.
  33. E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi. Kernel LEAF: a logic plus functional language. Journal of Computer and System Sciences, 42(2):139-185, 1991. [Abstract]
  34. M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. Declarative modeling of the operational behaviour of logic languages. Theoretical Computer Science, 69(3):289-318, 1989. [Abstract]
  35. G. Levi, C. Palamidessi. Contributions to the semantics of logic perpetual processes. Acta Informatica, 25(6):691-711, 1988.
  36. M. Falaschi, G. Levi, C. Palamidessi. A synchronization logic: Axiomatics and formal semantics of generalized Horn clauses. Information and Control, 60(1-3):36-69, 1984.

Proceedings of conferences and workshops

  1. S. Hamadou, C. Palamidessi, V. Sassone, and E. ElSalamouny. Probable innocence in the presence of independent knowledge. Proc. of FAST'09 the 6th International Workshop on Formal Aspects in Security and Trust, LNCS, Springer. To appear. [ bib | http ]
  2. M.E. Andrés, C. Palamidessi, P. van Rossum, and G. Smith. Computing the leakage of information-hiding systems. Proc. of TACAS'10, 2010. To appear. [ bib | http ]
  3. M. Falaschi, C. Olarte, and C. Palamidessi. A framework for abstract interpretation of timed concurrent constraint programs. Proc. of PPDP'09, ACM, 207-218, 2009. [ bib | DOI | http ]
  4. C. Braun, K. Chatzikokolakis, and C. Palamidessi. Quantitative notions of leakage for one-try attacks. Proc. of MFPS 25, ENTCS 249, Elsevier B.V., 75-91, 2009. [ bib | DOI | http ]
  5. A. Bhowmick, C. Palamidessi. Bounds on the leakage of the input's distribution in information-hiding protocols. Proc. of TGC'08. LNCS 5474, Springer, 36-51, 2009. [ bib | http | .pdf | full version ]
  6. C. Braun, K. Chatzikokolakis, C. Palamidessi. Compositional methods for information-hiding. In Proc. of FOSSACS'08, LNCS 4962, Springer, 443-457, 2008. [pdf]
  7. R. Beauxis, K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Formal approaches to information-hiding (tutorial). In Proc. of TGC'07, LNCS 4912, Springer, 347-362, 2008. [pdf]
  8. J. Goubault-Larrecq, C. Palamidessi, A. Troina. A probabilistic applied pi-calculus. In Proc. of APLAS'07, LNCS 4807, Springer, 175-190, 2007. [pdf]
  9. K. Chatzikokolakis, C. Palamidessi. Making Random Choices Invisible to the Scheduler. In Proc. of CONCUR'07, LNCS 4703, Springer, 42-58, 2007. [pdf of report version]
  10. K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Probability of Error in Information-Hiding Protocols. Proc. of CSF, IEEE Comp. Soc., 341-354, 2007. [pdf of report version]
  11. G. Norman, C. Palamidessi, D. Parker, P. Wu. Model checking the probabilistic pi-calculus. Proc. of QEST'07. IEEE Computer Society, 169-178, 2007. [pdf]
  12. P. Wu, C. Palamidessi, H. Lin. Symbolic Bisimulations for Probabilistic Systems. Proc. of QEST'07. IEEE Computer Society, 179-188, 2007. [pdf]
  13. C. Olarte, C. Palamidessi, F. Valencia. Universal Timed Concurrent Constraint Programming. Proc. of ICLP'07. LNCS 4670, Springer, 464-465. 2007. [pdf]
  14. M. Falaschi, C. Olarte, C. Palamidessi, F. Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs. Proc. of ICLP'07 LNCS 4670, Springer, 271-285. 2007. [pdf]
  15. J. Aranda, C. Di Giusto, C. Palamidessi, F. Valencia. Expressiveness of recursion, replication and scope mechanisms in process calculi. In Proc. of FMCO'06, LNCS, 4709, Springer, 185-206, 2007. [pdf]
  16. K. Chatzikokolakis, C. Palamidessi, P. Panangaden. Anonymity Protocols as Noisy Channels. Proc. of TGC'06, LNCS 4661, Springer, 281-300, 2006. [pdf , pdf of report version]
  17. D. Cacciagrano, F. Corradini, C. Palamidessi. Fair π. In Proc. of EXPRESS'06, ENTCS 175 (3), Elsevier Science B.V., 3-26, 2007. [pdf]
  18. S. Pradalier, C. Palamidessi. Expressiveness of probabilistic π-calculi. In Proc. of QAPL'06, ENTCS 164(3), Elsevier Science B.V., 119-136, 2006. [pdf]
  19. C. Palamidessi, I. Phillips, M.G. Vigliotti. Expressiveness via leader election problems. In Postproc. of FMCO'05, LNCS 4111, Springer, 172-194, 2005. [pdf]
  20. H.A. López, C. Palamidessi, J.A. Pérez, C. Rueda, and F. Valencia. A declarative framework for security: Secure concurrent constraint programming. In Proc. of ICLP'06, LNCS 4079, Springer, 449-450, 2006.
  21. C. Palamidessi, V. Saraswat, F. Valencia, B. Victor. On the expressiveness of linearity vs persistence in the asynchronous pi-calculus. In Proc. of LICS'06, IEEE, 59-68, 2006. [pdf]
  22. K. Chatzikokolakis, C. Palamidessi. Probable innocence revisited. Proc. of FAST'05, LNCS 3866, © Springer, 142-157, 2006. [pdf]
  23. A. Ziegler, D. Miller, C. Palamidessi. A congruence format for name-passing calculi. In Proc. of SOS'05, ENTCS 156, Elsevier Science B.V., 169-189, 2006 [pdf]
  24. C. Palamidessi. Anonymity in probabilistic and nondeterministic systems. In Proc. of APC 25 (2005), ENTCS 162, Elsevier Science B.V., 277-279, 2006. [pdf]
  25. C. Palamidessi. Probabilistic and nondeterministic aspects of anonymity. In Proc. of MFPS XXI (2005), ENTCS 155, Elsevier Science B.V., 33-42, 2006. [pdf]
  26. D. Cacciagrano, F. Corradini, C. Palamidessi. Separation of synchronous and asynchronous communication via testing. Proc. of EXPRESS'05, ENTCS 154, Elsevier Science B.V., 95-108, 2006. [pdf]
  27. Y. Deng, C. Palamidessi, J. Pang. Weak probabilistic anonymity. In Proc. of SecCo'05, ENTCS 180, Elsevier Science B.V., 55-76.2007. [pdf]
  28. M. Bhargava, C. Palamidessi. Probabilistic anonymity. Proc. of CONCUR'05, LNCS 3653, © Springer, 171-185, 2005. [ps]
  29. K. Chatzikokolakis, C. Palamidessi. A Framework to Analyze Probabilistic Protocols and its Application to the Partial Secrets Exchange. Proc. of TGC'05, LNCS 3705, © Springer, 146-162, 2005. [pdf]
  30. Y. Deng, T. Chothia, C. Palamidessi, J. Pang. Metrics for Action-labelled Quantitative Transition Systems. Proc. of QAPL'05, volume 153 of ENTCS, pages 79-96. Elsevier B.V., 2006. [pdf]
  31. Y. Deng, C. Palamidessi. Axiomatizations for probabilistic finite-state behaviors. Proc. of FOSSACS 2005, volume 3441 of LNCS, pages 110-124. © Springer, 2005. [pdf, ps] [Report version: pdf, ps]
  32. C. Palamidessi, O.M. Herescu. A Randomized Distributed Encoding of the Π-Calculus with Mixed Choice. Proc. of IFIP-TCS 2002, pages 537-549, Kluwer, 2002. [ps, ps of report version]
  33. M. Nielsen, C. Palamidessi, F.D. Valencia. On the expressive power of temporal concurrent constraint programming languages. Proc. of PPDP'02, pages 156-167, ACM, 2002. [ps]
  34. C. Palamidessi. Mobile calculi for distributed programming. Proc. of PPDP'02, ACM, 2002. Invited Talk.
  35. C. Palamidessi, F.D. Valencia. A Temporal Concurrent Contraint Programming Calculus. In T. Walsh, ed., Proc. of CP 2001, LNCS 2239, © Springer-Verlag, 302-316, 2001. [BibTeX entry, ps]
  36. O.M. Herescu, C. Palamidessi. On the Generalized Dining Philosophers Problem. Proc. of PODC'01, pages 81-89, ACM, 2001. [Abstract, BibTeX entry, ps]
  37. D. Gilbert, C. Palamidessi. Concurrent Constraint Programming with Process Mobility. In J. Lloyd et al., eds., Proc. of CL 2000, vol. 1861 of LNAI, pages 463-477. Springer-Verlag, 2000. © Springer-Verlag. [Abstract BibTeX entry, ps]
  38. O.M. Herescu, C. Palamidessi. Probabilistic asynchronous π-calculus. In J. Tiuryn, ed., Proc. of FOSSACS 2000 (Part of ETAPS 2000), vol. 1784 of LNCS, pages 146--160. Springer-Verlag, 2000. © Springer-Verlag. [Abstract, ps, BibTeX entry, ps of report version]
  39. M. Bertolino, S. Etalle, C. Palamidessi. The Replacement Operation for CCP Programs. In A. Bossi, ed., Proc. of LOPSTR'99, vol. 1817 of LNCS, pages 216-233. Springer-Verlag, 2000. [Abstract, ps]
  40. C. Palamidessi. Expressiveness and Distributed Implementation of Concurrent Calculi with Link Mobility. In J.C.M. Baeten and S. Mauw, Eds., Proc. of CONCUR'99, vol. 1664 of LNCS, pages 28-29. Springer-Verlag, 1999. Invited talk.
  41. M. Bertolino, S. Etalle, C. Palamidessi. Transformations of CCP Programs: preliminary results. In M.C. Meo and M. Vilares Ferro, eds., Proc. of APPIA/GULP/PRODE'99, pages 441-454. Gruppo Tipografico Editoriale, 1999.
  42. E. Best, F.S. de Boer, C. Palamidessi. Partial Order and SOS Semantics for Linear Constraint Programs. Proc. of Coordination 97, vol. 1282 of LNCS, pages 256-273. Springer-Verlag, 1997. [ps]
  43. C. Palamidessi. Constraint Programming for Concurrent and Distributed Computing. Proc. of the JFPLC-UNIF '97, Hermes Editions, pages 11-20, 1997. Invited talk.
  44. C. Palamidessi. Comparing the expressive power of the Synchronous and the Asynchronous π-calculus. Proc. of the 24th ACM Symposium on Principles of Programming Languages (POPL), pages 256-265, ACM, 1997. [Abstract, ps]
  45. F.S. de Boer, M. Gabbrielli, C. Palamidessi. Proving Correctness of Constraint Logic Programs with Dynamic Scheduling. In R. Cousot and D.A. Schmidt, eds., Proc. of the Static Analysis Symposium (SAS 96), vol. 1145 of LNCS, pages 83-97. Springer-Verlag, 1996. [ps]
  46. E. Best, C. Palamidessi.Linear Constraint Systems as High-level Nets. In U. Montanari and V. Sassone, eds., Proc. of CONCUR 96, vol. 1119 of LNCS, pages 498-513. Springer-Verlag, 1996. [ps]
  47. R. McDowell, D. Miller, C. Palamidessi. Encoding Transition Systems in Sequent Calculus: Preliminary Report. Proc. of the Linear Logic Workshop, Tokyo, 29 March-2 April 1996. Vol. 3 of ENTCS. [dvi, ps]
  48. A. Cortesi, G. File', R. Giacobazzi, F. Ranzato, C. Palamidessi. Complementation in Abstract Interpretation. Proc. of the Static Analysis Symposium (SAS). Vol. 983 of Lecture Notes in Computer Science, pages 100-117. Springer-Verlag, 1995. [A full version of this paper, with the same title, has appeared in TOPLAS 19(1)]
  49. M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Confluence and Concurrent Constraint Programming. Proc. of the Fourth International Conference on Algebraic Methodology and Software Technology (AMAST). Vol. 936 of LNCS, pages 531-545. Springer-Verlag, 1995. [A full version of this paper, with title Confluence in Concurrent Constraint Programming, has appeared in TCS 183(2)]
  50. K. Marriott, M. Falaschi, M. Gabbrielli, C. Palamidessi. A Simple Semantics for Logic Programming Languages with Dynamic Scheduling. Proc. of the 18th Australian Computer Science Conference (ACSC), Adelaide, Australia, 1995. [A full version of this paper, with title Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators, has appeared in Information and Computation 137(1)]
  51. C. Palamidessi. Concurrent Constraint Programming. Proc. of ALP-PLILP Volumes 844 and 850 of LNCS, Springer-Verlag, 1994. Invited talk.
  52. A. Di Pierro, C. Palamidessi. A Logical Denotational Semantics for Constraint Logic Programming. In D. Sannella, ed., Proc. of Programming Languages and Systems (ESOP), Vol. 788 of Lecture Notes in Computer Science, pages 195-210. Springer-Verlag, 1994. [A full version of this paper, with title An algebraic perspective of constraint logic programming, has appeared in the Jounal of Logic and Computation 7(1)]
  53. F.S. de Boer, M. Gabbrielli, E. Marchiori, C. Palamidessi. Proving Concurrent Constraint Programs Correct. Proc. of the twentieth ACM Symposium on Principles of Programming Languages (POPL), pages 98-108, ACM, 1994. [Abstract, ps]
  54. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. Non-Monotonic Concurrent Constraint Programming. In D. Miller, ed., Proc. of the International Logic Programming Symposium, pages 315-334, The MIT press, 1993.
  55. M. Falaschi, M. Gabbrielli, K. Marriott, C. Palamidessi. Compositional Analysis for Concurrent Constraint Programming. Proc. of the Eight Annual IEEE Symposium on Logic in Computer Science, (LICS), pages 210-221. IEEE Computer Society Press, Los Alamitos, California, 1993. [Abstract, ps]
  56. F.S. de Boer, C. Palamidessi. A process algebra for concurrent constraint programming. In Proc. of the International Symposium and Conference of Logic Programming, pages 463-477, The MIT Press, 1992.
  57. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. On Blocks: locality and asynchronous communication. Proc. of REX workshop on Semantics - Foundations and Applications. Vol. 666 of Lecture Notes in Computer Science, pages 73-90. Springer-Verlag, 1992.
  58. K.R. Apt, E. Marchiori, C. Palamidessi. A Theory of First-Order Built-in's of Prolog. Proc. of the Third Int. Conf. on Algebraic and Logic Programming (ALP). Vol. 632 of Lecture Notes in Computer Science, pages 69-83. Springer-Verlag, 1992. [The full version oof this paper, with title A Declarative Approach for First-Order Built-in's of Prolog, has appeared in Applicable Algebra in Engineering, Communication and Computing, 5(3/4)]
  59. F.S. de Boer, C. Palamidessi. On the semantics of concurrent constraint programming. Invited paper in Proc. of ALPUK 92, Workshops in Computing, pages 145-173. Springer-Verlag, 1992.
  60. F.S. de Boer, J.W. Klop, C. Palamidessi. Asynchronous communication in process algebra. In Proc. of the seventh annual IEEE symposium on Logics in Computer Science (LICS), pages 137-147. IEEE Computer Society Press, Los Alamitos, California, 1992. [Abstract, ps]
  61. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. The failure of failures: Towards a paradigm for asynchronous communication. In J.C.M. Baeten and J.F. Groote, eds., Proc. of CONCUR 91, vol. 527 of LNCS, pages 111-126. Springer-Verlag, 1991. [The full version of this paper, with title A paradigm for asynchronous communication and its application to concurrent constraint programming, has appeared in Logic Programming Languages: Constraints, Functions, and Objects]
  62. F.S. de Boer, C. Palamidessi. Embedding as a tool for language comparison: On the CSP hierarchy. In J.C.M. Baeten and J.F. Groote, eds., Proc. of CONCUR 91, vol. 527 of Lecture Notes in Computer Science, pages 127-141. Springer-Verlag, 1991.
  63. F.S. de Boer, C. Palamidessi. A Fully Abstract Model for Concurrent Constraint Programming. In S. Abramsky and T.S.E. Maibaum, eds., Proc. of TAPSOFT/CAAP, vol. 493 of Lecture Notes in Computer Science, pages 296-319. Springer-Verlag, 1991. [Abstract, ps]
  64. A. Di Pierro, M. Martelli, C. Palamidessi. Negation As Instantiation: a New Rule for the Treatment of Negation in Logic Programming. In K. Furukawa, ed., Proc. of The Eight International Conference on Logic Programming, pages 32-48, The MIT press, 1991. [A full version of this paper, with title Negation as Instantiation, has appeared in Information and Computation, 120(2)]
  65. S. Haridi, C. Palamidessi. Structural tranformational semantics for Kernel Andorra Prolog. In E.H.L. Aarts, J. van Leeuwen, and M. Rem, eds., Proc.of PARLE, vol. 505, II of LNCS, pages 238-253. Springer-Verlag, 1991.
  66. F.S. de Boer, C. Palamidessi. On the asynchronous nature of communication in concurrent logic languages: A fully abstract model based on sequences. In J.C.M. Baeten and J.W. Klop, eds., Proc. of Concur 90, vol. 458 of LNCS, pages 99-114, Amsterdam, 1990. Springer-Verlag.
  67. F.S. de Boer, C. Palamidessi. Concurrent logic languages: Asynchronism and language comparison. In Proc. of the North American Conference on Logic Programming, pages 175-194. The MIT Press, Series in Logic Programming, 1990. [This work contains preliminary results which have been further developed in the papers Embedding as a Tool for Language Comparison, and A Fully Abstract Model for Concurrent Constraint Programming]
  68. G. Levi, M. Martelli, C. Palamidessi. Failure and success made symmetric. In Proc. of the North American Conference on Logic Programming, pages 3-22. The MIT Press, Series in Logic Programming, 1990. [Report version).
  69. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. From failure to success: Comparing a denotational and a declarative semantics for Horn Clause Logic. In M.Z. Kwiatkowska, M.W. Shields, and R.M. Thomas, eds., Proc. of the International Workshop on Semantics for Concurrency, Workshops in Computing, pages 38-60, Leicester. Springer-Verlag, 1990.
  70. C. Palamidessi. Algebraic properties of idempotent substitutions. In M.S. Paterson, ed., Proc. of the 17th International Colloquium on Automata, Languages and Programming (ICALP), vol. 443 of Lecture Notes in Computer Science, pages 386-399, Warwick, England, 1990. Springer-Verlag. [Report version]
  71. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. Semantic models for a version of PARLOG. In Giorgio Levi and Maurizio Martelli, eds., Proc. of the Sixth International Conference on Logic Programming, Series in Logic Programming, pages 621-636, Lisboa, 1989. The MIT Press.
  72. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. Control flow versus logic: a denotational and a declarative model for Guarded Horn Clauses. In A. Kreczmar and G. Mirkowska, eds., Proc. of the Symposium on Mathematical Foundations of Computer Science (MFCS), vol. 379 of LNCS, pages 165-176. Springer Verlag, 1989.
  73. M. Falaschi, G. Levi, M. Martelli, C. Palamidessi. Declarative modeling of the operational behaviour of logic languages, has appeared in Theoretical Computer Science, 69(3)]
  74. P. G. Bosco, E. Giovannetti, G. Levi, C. Moiso, C. Palamidessi. A complete semantic characterization of K-LEAF, a logic language with partial functions. In Proc. of the Fourth IEEE Symposium on Logic Programming, pages 318-327, San Francisco, 1987. IEEE Computer Society Press, N.W., Washington. [The full version of this paper, with title Kernel LEAF: a logic plus functional language, has appeared in the Journal of Computer and System Sciences, 42(2)]
  75. M. Bellia, P. G. Bosco, E. Giovannetti, G. Levi, and C. Moiso, C. Palamidessi. A two level approach to logic plus functional programming integration. In Proc. of the Conference on Parallel Architectures and Languages Europe (PARLE), LNCS, pages 376-393, Eindhoven, The Netherlands, 1987. Springer Verlag.
  76. G. Levi, C. Palamidessi. An approach to the declarative semantics of synchronization in logic languages. In J.-L. Lassez, ed., Proc. of the Fourth International Conference on Logic Programming, pages 877-893, Melbourne, 1987. The MIT Press.
  77. G. Levi, C. Palamidessi. The declarative semantics of logical read-only variables. In Proc. IEEE Symposium on Logic Programming, pages 128-137, Boston, 1985. IEEE Computer Society Press.
  78. M. Falaschi, G. Levi, C. Palamidessi. The formal semantics of processes and streams in logic programming. Colloquia Mathematica Societatis Janos Bolyai, 42:363-377, 1985.

Book Chapters

  1. G. Longo, C. Palamidessi, and T. Paul. Randomnes: four questions and some challenges. In H. Zenil, ed, Randomnes: 5 questions. Automatic Press / VIP. To appear. [ bib | http ]
  2. R. Beauxis, C. Palamidessi, and F. D. Valencia. On the asynchronous nature of the asynchronous pi-calculus. In P. Degano, R. De Nicola, and J. Meseguer, eds, Concurrency, Graphs and Models, LNCS 5065, © Springer, 473-492, 2008. [pdf]
  3. Y. Deng, C. Palamidessi, J. Pang. Compositional reasoning for probabilistic finite-state behaviors. In A. Middeldorp, V. van Oostrom, F. van Raamsdonk, and R.C. de Vrijer, eds, Processes, Terms and Cycles: Steps on the Road to Infinity, LNCS 3838, © Springer, 309-337, 2005. [pdf]
  4. C. Palamidessi. Concurrent Logic Programming. Ch. 6 in M.I. Sessa, ed., Ten years of Logic Programming in Italy, Palladio, 167-210, 1995.
  5. F.S. de Boer, C. Palamidessi. From Concurrent Logic Programming to Concurrent Constraint Programming. Chapter 2 in G. Levi, ed., Advances in logic programming theory, pages 55-113. Oxford University Press, 1994. [Abstract, ps]
  6. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. A paradigm for asynchronous communication and its application to concurrent constraint programming. Chapter 4 in K. Apt, J.W. de Bakker, and J.J.M.M. Rutten, eds., Logic Programming Languages: Constraints, Functions, and Objects, pages 82-114. Series in Logic Programming, The MIT Press, 1993. [Abstract, ps]
  7. F.S. de Boer, J.N. Kok, C. Palamidessi, J.J.M.M. Rutten. From failure to success: comparing a denotational and a declarative semantics for Horn clause logic. In J.W. de Bakker and J.J.M.M. Rutten, eds., Ten years of concurrency semantics: selected papers of the Amsterdam Concurrency Group. World Scientific Publisher, 1993.
  8. P.G. Bosco, C. Cecchi, E. Giovannetti, C. Moiso, C. Palamidessi. Using Resolution for a Sound and Efficient Integration of Logic and Functional Programming Chapter 4 in J.W. de Bakker, ed., Languages for Parallel Architectures. Design, Semantics, Implementation Models, pages 167-221.gts Series in Parallel Computing, Wiley, Chichester, UK, 1989.

Other Works

  1. C. Palamidessi, F. Valencia. Languages for concurrency. Bulletin of the EATCS, Column: Programming Languages, 90:155-171, 2006. [pdf]
  2. C. Palamidessi, F. Valencia. Recursion vs replication in process calculi: Expressiveness. Bulletin of the EATCS, Column: Concurrency, 87:105-125, 2005. [pdf]
  3. E. Best, F.S. de Boer, C. Palamidessi. Concurrent constraint programming with information removal. Proc. of the First Workshop on Concurrent Constraint Programming, pages 1-13, Venice, 1995.
  4. C. Palamidessi, E. Pimentel. Embedding π-calculus in ccp. Proc. of the First EXPRESS Workshop, Amsterdam, 1994.
  5. C. Palamidessi. A theory for modeling the synchronization mechanisms of concurrent logic languages. In A. Bossi, ed., Proc. of the Conference Gruppo Utenti Logic Programming, pages 331-346, Padova, Italy, 1990. Presented at the Workshop and Tutorial on Formal Models of Concurrent Computations, Telavi, Georgia, 2-6 October 1989.
  6. C. Palamidessi. On the declarative semantics of Horn Clause Logic-based languages. CWI-Quarterly, 2(4), 1990.
  7. G. Levi, M. Martelli, C. Palamidessi. A reconstruction of the declarative semantics of logic programs. Informal Preoceedings of the Workshop on Computer Science Logic, Heidelberg, October 1989.
  8. C. Palamidessi. Strutture ad Ordinamenti Parziali nella Semantica Dichiarativa dei Linguaggi Logici. PhD thesis, Technical Report of the Dipartimento di Informatica, Università di Pisa, 1988.
  9. C. Palamidessi. A fixpoint semantics for Guarded Horn Clauses. Technical Report CS-R8833, Centre for Mathematics and Computer Science (CWI), Amsterdam, 1988.
  10. C. Palamidessi, G. Levi. On the fixed point semantics of Horn clauses with infinite terms. Informal Proc. of the Workshop on Logic Programming, pages 474-484, Albufeira, Portugal, 1983.

Lecture Notes

  1. C. Palamidessi. Syntax and Semantics of Programming Languages. Lecture Notes for the Course on Theory and Practice of Programming at the Department of Computer Science, University of Genova.
  2. C. Palamidessi. Abstract data Types: From Specification to Implementation. Lecture Notes for the Course on Theory and Applications of Computing Machines at the Department of Computer Science, University of Pisa. SEU (University Editorial Service), Pisa, 1990.
  3. C. Palamidessi. Lectures on Mathematical Logics. Lecture notes for the course on Mathematical Logic, chaired by Professor G. Longo, at the Department of Computer Science, University of Pisa. Editorial Service of the Opera Universitaria, Pisa, 1985.