A Linear History Semantics for Distributed Languages (Extended Abstract)

Nissim Francez, Daniel Lehmann, Amir Pnueli

Browse the full FOCS paper archive.