Verification of Asynchronous Programs with Nested Locks (Q5136300): Difference between revisions

@@ label / en / label / en @@
+Verification of Asynchronous Programs with Nested Locks
@@ Property / DOI @@
-.4230/LIPIcs.FSTTCS.2017.11
@@ Property / DOI: 10.4230/LIPIcs.FSTTCS.2017.11 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+Program-Conflict-Analysis
@@ Property / describes a project that uses: Program-Conflict-Analysis / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
+Normal rank
@@ Property / cites work @@
+Analyzing Asynchronous Programs with Preemption
@@ Property / cites work: Analyzing Asynchronous Programs with Preemption / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2005 – Concurrency Theory
@@ Property / cites work: CONCUR 2005 – Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Delay-bounded scheduling
@@ Property / cites work: Delay-bounded scheduling / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing Real-Time Event-Driven Programs
@@ Property / cites work: Analyzing Real-Time Event-Driven Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation
+Normal rank
@@ Property / cites work @@
+Interprocedural analysis of asynchronous programs
@@ Property / cites work: Interprocedural analysis of asynchronous programs / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict Analysis of Programs with Procedures, Dynamic Thread Creation, and Monitors
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Model Checking Multithreaded Programs with Asynchronous Atomic Methods
+Normal rank
@@ Property / full work available at URL @@
+https://drops.dagstuhl.de/opus/volltexte/2018/8410/pdf/LIPIcs-FSTTCS-2017-11.pdf/
+Normal rank
@@ Property / OpenAlex ID @@
+W2788878077
@@ Property / OpenAlex ID: W2788878077 / rank @@
+Normal rank
@@ Property / title @@
+Verification of Asynchronous Programs with Nested Locks (English)
+Normal rank
@@ Property / DOI @@
+.4230/LIPICS.FSTTCS.2017.11
@@ Property / DOI: 10.4230/LIPICS.FSTTCS.2017.11 / rank @@
+Normal rank