Introductory Material

This page provides a summary of readings and links that might be of interest to AVISPA members. Return to the AVISPA Website.


Constraint Programing, Constraint Solving

Process Calculi, Concurrent Constraint Programming

  • Languages for Concurrency by C. Palamidessi and F. Valencia. This paper is an excellent introduction to concurrency, explaining the main features that models for concurrency usually have. This piece will appear in the Bulletin of EATCS.
  • Welcome to the Jungle. A subjective guide to mobile process calculi by Uwe Nestmann. This paper corresponds to a tutorial given at CONCUR 2006, the international conference on concurrency theory.
  • Modelos para la Computación Móvil by J. F. Díaz and C. Rueda. In this paper three calculi for mobile processes are explained: Milner's Pi, Cardelli and Gordon's Ambient and AVISPA's PiCO. Includes examples. This paper appeared in the Colombian Journal of Computing.
  • Notes on Timed CCP by M. Nielsen and F. D. Valencia. This note provides an overview of timed ccp with its basic background and various approaches explored in the literature. Furthermore, the note offers an introduction to the ntcc process calculus.

Systems and Molecular Biology, Process Calculi for Biology

Papers on bioinformatics, with good (and easy to read) background on molecular biology:

These two papers by Hiroaki Kitano (see this page) are excellent references to understand what biologists want from systems biology. They're not very easy to read, though:

This book provides good background. It's in Javeriana Library (006C646c e1)

Papers on biology and process calculi:

Multimedia Interaction / Computer Music

  • Computer aided music harmonization by F. Pachet. A broad overview of the use of constraints for musical harmonization. Includes a brief summary of harmonic rules.
  • machine learning of musical style by Dubnov, Assayag et al. This papers introduces statistical models for machine learning of a composer musical style. Once the style is learned, the musician can improvise with a sort of “clone” of himself modeled in the computer.

Security, Process Calculi for Security

How to write English correctly

  • Jefferson D. Bates. Writing with precision: How to write so that you cannot be possible misunderstood. Penguin Books, 2000.
  • Lyn Drupé. Bugs in writing: A guide to debugging your prose, Revised Edition. Addyson Wesley Longman, 1998.
  • Michel Swan. Practical English Usage, Third Edition. Oxford University Press.


Some Talks

(by AVISPA members)

grupos/avispa/introductory_material.txt · Última modificación: 2011/06/23 10:20 por farhat
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki