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
A Structural Approach to Operational Semantics (SOS)
Technical Report DAIMI FN-19.
University of Aarhus, Dept. of Computer Science, Sept. 1981.
G. Berry and G. Boudol.
The Chemical Abstract Machine (CHAM)
Conf. Record 17th ACM Symp. on Principles of Programmming Languages, POPL'90.
ACM Press, Jan. 1990.
K.R. Apt and G.D. Plotkin.
Countable Nondeterminism and Random Assignment
Journal of the Association for Computing Machinery,
33 (2), 1986.
Some very well written papers:
An Introduction to the Pi-calculus
Handbook of Process Algebra.
Robin Milner's papers:
An Introduction to the Polyadic Pi-Calculus
Logic and Algebra of Specifications.
Elements of Interaction