Progress assumption in concurrent systems (Q1805398): Difference between revisions

@@ Property / cites work @@
+The Munich project CIP. Volume II: The program transformation system CIP- S
+Normal rank
@@ Property / cites work @@
+A Theory of Communicating Sequential Processes
@@ Property / cites work: A Theory of Communicating Sequential Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4734781
@@ Property / cites work: Q4734781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4039757
@@ Property / cites work: Q4039757 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3468602
@@ Property / cites work: Q3468602 / rank @@
+Normal rank
@@ Property / cites work @@
+TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
+Normal rank
@@ Property / cites work @@
+A\(^ 2\)CCS: Atomic actions for CCS
@@ Property / cites work: A\(^ 2\)CCS: Atomic actions for CCS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3877033
@@ Property / cites work: Q3877033 / 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 @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4733430
@@ Property / cites work: Q4733430 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace theory and VLSI design
@@ Property / cites work: Trace theory and VLSI design / rank @@
+Normal rank