Deadlock checking by a behavioral effect system for lock handling (Q444480): Difference between revisions

@@ Property / cites work @@
+ν-Types for Effects and Freshness Analysis
@@ Property / cites work: ν-Types for Effects and Freshness Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines
+Normal rank
@@ Property / cites work @@
+Q3776606
@@ Property / cites work: Q3776606 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2754081
@@ Property / cites work: Q2754081 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Searching for deadlocks while debugging concurrent haskell programs
+Normal rank
@@ Property / cites work @@
+Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
+Normal rank
@@ Property / cites work @@
+Q3735045
@@ Property / cites work: Q3735045 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5190777
@@ Property / cites work: Q5190777 / rank @@
+Normal rank
@@ Property / cites work @@
+A generic type system for the Pi-calculus
@@ Property / cites work: A generic type system for the Pi-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Type-based information flow analysis for the \(\pi\)-calculus
+Normal rank
@@ Property / cites work @@
+A New Type System for Deadlock-Free Processes
@@ Property / cites work: A New Type System for Deadlock-Free Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536623
@@ Property / cites work: Q4536623 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional must not aliasing for static race detection
+Normal rank
@@ Property / cites work @@
+Q4255591
@@ Property / cites work: Q4255591 / rank @@
+Normal rank
@@ Property / cites work @@
+Deadlock checking by a behavioral effect system for lock handling
+Normal rank
@@ Property / cites work @@
+The pursuit of deadlock freedom
@@ Property / cites work: The pursuit of deadlock freedom / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal Assertions with Parametrized Propositions
+Normal rank
@@ Property / cites work @@
+Inferring Channel Buffer Bounds Via Linear Programming
+Normal rank
@@ Property / cites work @@
+Refinement of actions and equivalence notions for concurrent systems
+Normal rank