Recursion induction for real-time processes (Q1329195): Difference between revisions

@@ Property / author @@
-S. A. Schneider
@@ Property / author: S. A. Schneider / rank @@
-Normal rank
@@ Property / author @@
+S. A. Schneider
@@ Property / author: S. A. Schneider / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Q3680252
@@ Property / cites work: Q3680252 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4028616
@@ Property / cites work: Q4028616 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4163527
@@ Property / cites work: Q4163527 / rank @@
+Normal rank
@@ Property / cites work @@
+A process algebra for timed systems
@@ Property / cites work: A process algebra for timed systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3725534
@@ Property / cites work: Q3725534 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4060097
@@ Property / cites work: Q4060097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036565
@@ Property / cites work: Q4036565 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01211248
+Normal rank
@@ Property / OpenAlex ID @@
+W2083644882
@@ Property / OpenAlex ID: W2083644882 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+journals/fac/DaviesS94
@@ Property / DBLP publication ID: journals/fac/DaviesS94 / rank @@
+Normal rank