kirancodes.me
To Proof Maintenance & Beyond!
kirancodes.mepldb wrapped
Gael N. Buckley
1 papers
cited 12×
cites 3
Reply guy/gal
Nissim Francez
cited you 3×
Mutuals
  1. Krzysztof R. Apt1 ⇄ 1
  2. Nissim Francez1 ⇄ 3
you ⇄ them
Secret admirer
Doron A. Peled
them: 2 · you: 0
Main character
An Effective Implementation for the Generalized Input-Output Construct of CSP
TOPLAS 1983 · cited 12×
Ratio'd
Output Guards and Nondeterminism in "Communicating Sequential Processes"
TOPLAS 1980 · cited 7× · by your 12×
Deepest dig
A Proof System for Communicating Sequential Processes
TOPLAS 1980
Lamport number7
  1. you
  2. Abraham Silberschatz
  3. Richard B. Kieburtz
  4. Tim Sheard
  5. Stephanie Weirich
  6. J. Gregory Morrisett
  7. Fred B. Schneider
  8. Leslie Lamport

Load-bearing co-author: Abraham Silberschatz. Without them: ∞.

pldb.kirancodes.me/fun · within PLDB

Counts are citations between papers in PLDB, one per pair of papers; self-citations excluded. Mutuals: you cite each other (you ⇄ them). Older papers have thinner citation data.

Pictures come from Bluesky accounts we could match to dblp names. Not showing yours, or showing the wrong one? Email me.