Real time process algebra (Q2640341): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the consistency of Koomen's fair abstraction rule
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Q3028334
@@ Property / cites work: Q3028334 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3761679
@@ Property / cites work: Q3761679 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3771632
@@ Property / cites work: Q3771632 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional semantics for real-time distributed computing
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+A timed model for communicating sequential processes
+Normal rank
@@ Property / cites work @@
+Q3787461
@@ Property / cites work: Q3787461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4319638
@@ Property / cites work: Q4319638 / rank @@
+Normal rank