Concepedia

Proofs with graphs

Sharon Curtis, Gavin Lowe

Science of Computer Programming · 1996 · 20 citations · 7 references

DOI

References

7

Communicating sequential processes

Roger Boyle · Data Processing · 1985 · 2K citations

On the calculus of relations

Alfred Tarski · Journal of Symbolic Logic · 1941 · 813 citations

, , +13

A calculus of durations

Zhou Chaochen, C. A. R. Hoare, Anders P. Ravn · Information Processing Letters · 1991 · 722 citations

, , +3

The Representation of Relational Algebras

Roger C. Lyndon · Annals of Mathematics · 1950 · 169 citations

, , +12

The Representation of Relation Algebras, II

Roger C. Lyndon · Annals of Mathematics · 1956 · 88 citations

, , +10