Extended Markovian Process Algebra (Q6104380): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/3-540-61604-7_63
+Normal rank
@@ Property / OpenAlex ID @@
+W1531089277
@@ Property / OpenAlex ID: W1531089277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4101255
@@ Property / cites work: Q4101255 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3923308
@@ Property / cites work: Q3923308 / rank @@
+Normal rank