Linear and affine logics with temporal, spatial and epistemic operators

Linear logic

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

A logic of authentication

Michael T. Burrows, Martı́n Abadi, Roger M. Needham · ACM Transactions on Computer Systems · 1990 · 2.5K citations · Full text

Computing, Computer Science, Authentication +15

Fiftieth volume of theoretical computer science

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

Computing, Computer Science, Mathematics +7

The Logic of Bunched Implications

Peter W. O’Hearn, David Pym · Bulletin of Symbolic Logic · 1999 · 474 citations

Humanities, Mathematics, Logic +12

Anytime, anywhere

Luca Cardelli, Andrew D. Gordon · 2000 · 351 citations

Humanities, Communication, Advertising +11