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.
-
-
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.
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:
-
Process Calculi in a Biological Context by D. Prandi and C. Priami and P. Quaglia. This paper appeared in the Concurrency Column of the Bulletin of the EATCS (European Association on Theoretical Computer Science).
-
-
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.
-
Prudent engineering practice for cryptographic protocols by M. Abadi and R. Needham. This paper introduces to basic notions of security and security protocols. It's a good first reading on the subject, as it presents principles for protocol design instead of a particular formalism.
-
A calculus for cryptographic protocols: The spi calculus by M. Abadi and A. Gordon. Everyone interested in formal methods for security should read and understand this paper. Some knowledge on pi and security notions is advisable. This paper appeared in Information and Computation.
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.
Constraint Satisfaction
-
The
Gecode environment for developing constraint-based systems and applications.
-
-
-
-
-
-
(by AVISPA members)
-
-
-
-
-
SeminarioI-2007 This talk (in Spanish) was given to the course Seminario I, at Universidad Javeriana-Cali (February 2007).
-
-
-