F R A N K     D.     V A L E N C I A ' S     A R C H I V E   O F  P A P E R S 

Below you will find some electronic versions of interesting papers in computer science - some of them used to be difficult to obtain. PLEASE be aware of the copyrights.

Go to Main Page

Some of the most cited  in concurrency and semantics

  1. G.D. Plotkin. A Structural Approach to Operational Semantics (SOS).   Technical Report DAIMI FN-19. Copyright University of Aarhus,   Dept. of Computer Science,  Sept. 1981.
  2. G. Berry and G. Boudol. The Chemical Abstract Machine (CHAM).  Conf. Record 17th ACM Symp. on Principles of Programmming         Languages, POPL'90.   Copyright ACM Press,  Jan. 1990.
  3. K.R. Apt and G.D. Plotkin. Countable Nondeterminism and Random Assignment. Journal of the Association for Computing Machinery, 33 (2), 1986. Copyright ACM Press.

Some very well written papers:

  1. J. Parrow. An Introduction to the Pi-calculus. Handbook of Process Algebra. Copyright Elsevier.

Robin Milner's papers:

  1. R. Milner. An Introduction to the Polyadic Pi-Calculus. Logic and Algebra of Specifications. Copyright Springer-Verlag, 1993.
  2. R. Milner. Elements of Interaction. Turing-award Lecture. Copyright ACM.