On the expressiveness of interaction

Introduction to automata theory, languages and computation

Mathematics and Computers in Simulation · 1981 · 10.9K citations

Computing, Computer Science, Mathematics +10

Introduction to automata theory, languages, and computation

Computer Languages · 1980 · 6.9K citations

Computing, Computer Science, Mathematics +10

Linear logic

Jean-Yves Girard · Theoretical Computer Science · 1987 · 4.1K citations

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

A calculus of mobile processes, I

Robin Milner, Joachim Parrow, David Walker · Information and Computation · 1992 · 2.8K citations · Full text

Engineering, Mathematics, Markov Decision Processes +10