Specification and analysis of Internet applications

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Communicating sequential processes

C. A. R. Hoare · Communications of the ACM · 1983 · 3.8K citations · Full text

Computing, Computer Science, Computer Architecture +16

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

A Structural Approach to Operational Semantics

Gordon Plotkin · 2004 · 2K citations

Language Studies, Computer Science, Formal Methods +6

Domain-specific languages

Arie van Deursen, Paul Klint, Joost Visser · ACM SIGPLAN Notices · 2000 · 1.3K citations · Full text

Computing, Computer Science, Programming Languages +10