Concurrent Kleene algebra and its foundations (Q549679): Difference between revisions

@@ Property / author @@
-C. A. R. Hoare
@@ Property / author: C. A. R. Hoare / rank @@
-Normal rank
@@ Property / author @@
+C. A. R. Hoare
@@ Property / author: C. A. R. Hoare / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N19
@@ Property / Mathematics Subject Classification ID: 68N19 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B70
@@ Property / Mathematics Subject Classification ID: 03B70 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5925507
@@ Property / zbMATH DE Number: 5925507 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+dependence
@@ Property / zbMATH Keywords: dependence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kleene algebra
@@ Property / zbMATH Keywords: Kleene algebra / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Hoare calculus
@@ Property / zbMATH Keywords: Hoare calculus / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+rely/guarantee calculus
@@ Property / zbMATH Keywords: rely/guarantee calculus / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Mace4
@@ Property / describes a project that uses: Mace4 / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Prover9
@@ Property / describes a project that uses: Prover9 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q114851547
@@ Property / Wikidata QID: Q114851547 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2096490078
@@ Property / OpenAlex ID: W2096490078 / rank @@
+Normal rank
@@ Property / cites work @@
+Fixed-point calculus
@@ Property / cites work: Fixed-point calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525274
@@ Property / cites work: Q4525274 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Semiring-based constraint satisfaction and optimization
+Normal rank
@@ Property / cites work @@
+Q4721639
@@ Property / cites work: Q4721639 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2721093
@@ Property / cites work: Q2721093 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene algebra with domain
@@ Property / cites work: Kleene algebra with domain / rank @@
+Normal rank
@@ Property / cites work @@
+Q4316881
@@ Property / cites work: Q4316881 / rank @@
+Normal rank
@@ Property / cites work @@
+The equational theory of pomsets
@@ Property / cites work: The equational theory of pomsets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3922196
@@ Property / cites work: Q3922196 / rank @@
+Normal rank
@@ Property / cites work @@
+From μCRL to mCRL2
@@ Property / cites work: From μCRL to mCRL2 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic basis for computer programming
@@ Property / cites work: An axiomatic basis for computer programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Graphical models of separation logic
@@ Property / cites work: Graphical models of separation logic / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Concurrent Kleene Algebra
@@ Property / cites work: Foundations of Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene algebra and its foundations
@@ Property / cites work: Concurrent Kleene algebra and its foundations / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+Q3953140
@@ Property / cites work: Q3953140 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4215784
@@ Property / cites work: Q4215784 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996918
@@ Property / cites work: Q3996918 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771067
@@ Property / cites work: Q3771067 / rank @@
+Normal rank
@@ Property / cites work @@
+Resources, concurrency, and local reasoning
@@ Property / cites work: Resources, concurrency, and local reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous Kleene algebra
@@ Property / cites work: Synchronous Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q3996704
@@ Property / cites work: Q3996704 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3030239
@@ Property / cites work: Q3030239 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:549679