A linear-history semantics for languages for distributed programming
scientific article; zbMATH DE number 3864484
scientific article