Possible worlds and resources: the semantics of BI

Linear logic

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

Communication and concurrency

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

Separation logic: a logic for shared mutable data structures

John Reynolds · 2003 · 2.2K citations

Computing, Computer Science, Data Structures +14

The Semantics of Predicate Logic as a Programming Language

M. H. van Emden, Robert Kowalski · Journal of the ACM · 1976 · 1.5K citations · Full text

Humanities, Computer Science, Logic +16

Fiftieth volume of theoretical computer science

Maurice Nivat · Theoretical Computer Science · 1988 · 1.3K citations

Computing, Computer Science, Mathematics +7