Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (Q3075482)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation |
scientific article; zbMATH DE number 5851852
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation |
scientific article; zbMATH DE number 5851852 |
Statements
Join-Lock-Sensitive Forward Reachability Analysis for Concurrent Programs with Dynamic Process Creation (English)
0 references
15 February 2011
0 references
0 references
0.87891096
0 references
0.87891096
0 references
0.8515154
0 references
0.85070664
0 references
0.85070664
0 references
0.84791577
0 references
0 references
0.8444606
0 references
