Efficient symbolic computation of process expressions (Q2389343): Difference between revisions

@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / 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 @@
+The B-Book
@@ Property / cites work: The B-Book / rank @@
+Normal rank
@@ Property / cites work @@
+Q4301167
@@ Property / cites work: Q4301167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472199
@@ Property / cites work: Q4472199 / rank @@
+Normal rank
@@ Property / cites work @@
+csp2B: A practical approach to combining CSP and B
+Normal rank
@@ Property / cites work @@
+Q4472182
@@ Property / cites work: Q4472182 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4509996
@@ Property / cites work: Q4509996 / rank @@
+Normal rank
@@ Property / cites work @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Q4737797
@@ Property / cites work: Q4737797 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3039150
@@ Property / cites work: Q3039150 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4790665
@@ Property / cites work: Q4790665 / rank @@
+Normal rank