The expressiveness of CSP with priority (Q2520703): Difference between revisions

@@ Property / DOI @@
-.1016/j.entcs.2015.12.023
@@ Property / DOI: 10.1016/j.entcs.2015.12.023 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2015.12.023
+Normal rank
@@ Property / OpenAlex ID @@
+W1793582516
@@ Property / OpenAlex ID: W1793582516 / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for weak bisimulations
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+The meaning of negative premises in transition system specifications
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Theoretical Aspects of Computing – ICTAC 2005
@@ Property / cites work: Theoretical Aspects of Computing – ICTAC 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic and prioritized models of timed CSP
@@ Property / cites work: Probabilistic and prioritized models of timed CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of CSP with priority
@@ Property / cites work: The expressiveness of CSP with priority / rank @@
+Normal rank
@@ Property / cites work @@
+Slow Abstraction via Priority
@@ Property / cites work: Slow Abstraction via Priority / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressive power of CSP refinement
@@ Property / cites work: On the expressive power of CSP refinement / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ENTCS.2015.12.023
@@ Property / DOI: 10.1016/J.ENTCS.2015.12.023 / rank @@
+Normal rank