Combining programs and state machines (Q1858434): Difference between revisions

@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+What is an abstract datatype?
@@ Property / cites work: What is an abstract datatype? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3340122
@@ Property / cites work: Q3340122 / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for component code
@@ Property / cites work: Program algebra for component code / rank @@
+Normal rank
@@ Property / cites work @@
+Program algebra for sequential code
@@ Property / cites work: Program algebra for sequential code / rank @@
+Normal rank
@@ Property / cites work @@
+Kleene's three-valued logic and process algebra
@@ Property / cites work: Kleene's three-valued logic and process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra and conditional composition
@@ Property / cites work: Process algebra and conditional composition / rank @@
+Normal rank
@@ Property / cites work @@
+Q4321288
@@ Property / cites work: Q4321288 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1858434