A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Concurrent Kleene Algebra with Tests
[chapter]
2014
Lecture Notes in Computer Science
Concurrent Kleene algebras were introduced by Hoare, Möller, Struth and Wehrman in [HMSW09,HMSW09a,HMSW11] as idempotent bisemirings that satisfy a concurrency inequation and have a Kleene-star for both sequential and concurrent composition. Kleene algebra with tests (KAT) were dened earlier by Kozen and Smith [KS97] . Concurrent Kleene algebras with tests (CKAT) combine these concepts and give a relatively simple algebraic model for reasoning about operational semantics of concurrent programs.
doi:10.1007/978-3-319-06251-8_3
fatcat:tnekgiex4jfsbpeesa52q2vt7a