Aeolus: A component model for the cloud

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

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

A calculus of mobile processes, II

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

Engineering, Mathematics, Markov Decision Processes +11

Interface automata

Luca de Alfaro, Thomas A. Henzinger · 2001 · 1.2K citations

Computing, Computer Science, Formal Methods +14

Well-structured transition systems everywhere!

Alain Finkel, Ph. Schnoebelen · Theoretical Computer Science · 2001 · 701 citations

Computing, Computer Science, Dynamical Systems +7