Real space process algebra (Q1329194): Difference between revisions

@@ Property / author @@
-Jos C. M. Baeten
@@ Property / author: Jos C. M. Baeten / rank @@
-Normal rank
@@ Property / author @@
-Jan A. Bergstra
@@ Property / author: Jan A. Bergstra / rank @@
-Normal rank
@@ Property / author @@
+Jos C. M. Baeten
@@ Property / author: Jos C. M. Baeten / 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 @@
+Global renaming operators in concrete process algebra
+Normal rank
@@ Property / cites work @@
+Real time process algebra
@@ Property / cites work: Real time process algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3702500
@@ Property / cites work: Q3702500 / rank @@
+Normal rank
@@ Property / cites work @@
+The algebra of timed processes, ATP: Theory and application
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bf01211247
+Normal rank
@@ Property / OpenAlex ID @@
+W2169983600
@@ Property / OpenAlex ID: W2169983600 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1329194