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

@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6065759
@@ Property / zbMATH DE Number: 6065759 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrency
@@ Property / zbMATH Keywords: concurrency / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+deadlock prevention
@@ Property / zbMATH Keywords: deadlock prevention / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+static analysis
@@ Property / zbMATH Keywords: static analysis / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+behavioral type and effect systems
@@ Property / zbMATH Keywords: behavioral type and effect systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+simulation relation
@@ Property / zbMATH Keywords: simulation relation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+abstraction
@@ Property / zbMATH Keywords: abstraction / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Cyclone
@@ Property / describes a project that uses: Cyclone / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+RacerX
@@ Property / describes a project that uses: RacerX / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Haskell
@@ Property / describes a project that uses: Haskell / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2011.11.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2084800560
@@ Property / OpenAlex ID: W2084800560 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:444480