Synchronous Kleene algebra (Q710676): Difference between revisions

@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2010.07.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2114258290
@@ Property / OpenAlex ID: W2114258290 / rank @@
+Normal rank
@@ Property / cites work @@
+KAT-ML: an interactive theorem prover for Kleene algebra with tests
+Normal rank
@@ Property / cites work @@
+Relational Semantics for Higher-Order Programs
@@ Property / cites work: Relational Semantics for Higher-Order Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Local variable scoping and Kleene algebra with tests
+Normal rank
@@ Property / cites work @@
+Q4187288
@@ Property / cites work: Q4187288 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3735065
@@ Property / cites work: Q3735065 / rank @@
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Free shuffle algebras in language varieties
@@ Property / cites work: Free shuffle algebras in language varieties / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q4312484
@@ Property / cites work: Q4312484 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrent Kleene Algebra
@@ Property / cites work: Concurrent Kleene Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Regular expressions and the equivalence of programs
+Normal rank
@@ Property / cites work @@
+Q3939782
@@ Property / cites work: Q3939782 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358736
@@ Property / cites work: Q3358736 / rank @@
+Normal rank
@@ Property / cites work @@
+A completeness theorem for Kleene algebras and the algebra of regular events
+Normal rank
@@ Property / cites work @@
+On Hoare logic and Kleene algebra with tests
@@ Property / cites work: On Hoare logic and Kleene algebra with tests / rank @@
+Normal rank
@@ Property / cites work @@
+Q5693581
@@ Property / cites work: Q5693581 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767087
@@ Property / cites work: Q2767087 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3704880
@@ Property / cites work: Q3704880 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733400
@@ Property / cites work: Q4733400 / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3851636
@@ Property / cites work: Q3851636 / rank @@
+Normal rank
@@ Property / cites work @@
+An axiomatic proof technique for parallel programs
+Normal rank
@@ Property / cites work @@
+Modeling concurrency with partial orders
@@ Property / cites work: Modeling concurrency with partial orders / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273477
@@ Property / cites work: Q4273477 / rank @@
+Normal rank
@@ Property / cites work @@
+$\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
+Normal rank
@@ Property / cites work @@
+Two Complete Axiom Systems for the Algebra of Regular Events
+Normal rank
@@ Property / cites work @@
+A deontic logic of action
@@ Property / cites work: A deontic logic of action / rank @@
+Normal rank
@@ Property / cites work @@
+Q4131648
@@ Property / cites work: Q4131648 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5560264
@@ Property / cites work: Q5560264 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733435
@@ Property / cites work: Q4733435 / rank @@
+Normal rank