Formal communication elimination and sequentialization equivalence proofs for distributed system models
Crossref DOI link: https://doi.org/10.1007/s00236-014-0203-0
Published Online: 2014-07-31
Published Print: 2014-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bertran, Miquel
Babot, Francesc
Climent, August
Text and Data Mining valid from 2014-07-31