Solving recursive net equations (Q4645215): Difference between revisions

@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281515
@@ Property / cites work: Q4281515 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040147
@@ Property / cites work: Q4040147 / rank @@
+Normal rank
@@ Property / cites work @@
+S-invariant analysis of general recursive Petri boxes
+Normal rank
@@ Property / cites work @@
+Q3795192
@@ Property / cites work: Q3795192 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Structure of concurrency
@@ Property / cites work: Structure of concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023058
@@ Property / cites work: Q4023058 / rank @@
+Normal rank
@@ Property / cites work @@
+Operational and denotational semantics for the box algebra
+Normal rank
@@ Property / cites work @@
+Q4023496
@@ Property / cites work: Q4023496 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Finite representations of CCS and TCSP programs by automata and Petri nets
+Normal rank