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
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s1567-8326(02)00020-6
+Normal rank
@@ Property / OpenAlex ID @@
+W2114247177
@@ Property / OpenAlex ID: W2114247177 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1858434