2026-07-22T22:30:56Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:4284 2024-03-06T10:29:23Z ddc:004 open_access

Laws of programming with concurrency (Invited Talk) Hoare, Tony concurrency The algebraic laws for programming with concurrency are as simple as (and very similar to) the familiar laws of arithmetic. Yet they are stronger for reasoning about the properties of programs than the axioms of Hoare Logic and the rules of an operational semantics put together. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tony Hoare 2013 Is Part Of OASIcs, Volume 35, 2013 Imperial College Computing Student Workshop InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/OASIcs.ICCSW.2013.1 urn:nbn:de:0030-drops-42843 https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICCSW.2013.1 eng https://creativecommons.org/licenses/by/3.0/legalcode