Static Livelock Analysis in CSP (Q3090843): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2119439296
@@ Property / OpenAlex ID: W2119439296 / rank @@
+Normal rank
@@ Property / cites work @@
+Processes and the denotational semantics of concurrency
+Normal rank
@@ Property / cites work @@
+Deciding and axiomatizing weak ST bisimulation for a process algebra with recursion and action refinement
+Normal rank
@@ Property / cites work @@
+Q3994895
@@ Property / cites work: Q3994895 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+A Livelock Freedom Analysis for Infinite State Asynchronous Reactive Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+A Static Analysis Framework for Livelock Freedom in CSP
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484478
@@ Property / cites work: Q4484478 / rank @@
+Normal rank
@@ Property / cites work @@
+The behavioural semantics of Event-B refinement
@@ Property / cites work: The behavioural semantics of Event-B refinement / rank @@
+Normal rank
@@ Property / cites work @@
+Q4060097
@@ Property / cites work: Q4060097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3141916
@@ Property / cites work: Q3141916 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong normalisation in the \(\pi\)-calculus
@@ Property / cites work: Strong normalisation in the \(\pi\)-calculus / rank @@
+Normal rank