ConGolog, a concurrent programming language based on the situation calculus

Lecture Notes in Artificial Intelligence

Patrick Brézillon, Paolo Bouquet · 1999 · 7.4K citations

Artificial Intelligence, Engineering, Automated Reasoning +4

Communication and concurrency

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

Engineering, Concurrency Theory, Concurrency (Computer Science) +5

A lattice-theoretical fixpoint theorem and its applications

Alfred Tarski · Pacific Journal of Mathematics · 1955 · 2.7K citations · Full text

Mathematical Programming, Lattice (Order), Topological Combinatorics +3

Communicating sequential processes

Microprocessors and Microsystems · 1986 · 2.2K citations

Engineering, Automated Reasoning, Concurrency Theory +8

Imperative functional programming

Simon Jones, Philip Wadler · 1993 · 1.2K citations · Full text

Engineering, New Model, Generic Programming +13