Processes with infinite liveness requirements (Q383788): Difference between revisions

@@ Property / cites work @@
+Process Algebra
@@ Property / cites work: Process Algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760239
@@ Property / cites work: Q2760239 / rank @@
+Normal rank
@@ Property / cites work @@
+Progress assumption in concurrent systems
@@ Property / cites work: Progress assumption in concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941495
@@ Property / cites work: Q4941495 / rank @@
+Normal rank
@@ Property / cites work @@
+TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
+Normal rank
@@ Property / cites work @@
+Processes with local and global liveness requirements
+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 @@
+Q4506483
@@ Property / cites work: Q4506483 / rank @@
+Normal rank
@@ Property / cites work @@
+Safe reasoning with logic LTS
@@ Property / cites work: Safe reasoning with logic LTS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3833630
@@ Property / cites work: Q3833630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Proofs of Networks of Processes
@@ Property / cites work: Proofs of Networks of Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Specification-oriented semantics for communicating processes
+Normal rank
@@ Property / cites work @@
+Nets, Terms and Formulas
@@ Property / cites work: Nets, Terms and Formulas / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385530
@@ Property / cites work: Q4385530 / rank @@
+Normal rank