When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. - Variable Permissions for Concurrency Verification. - A Concurrent Temporal Programming Model with Atomic Blocks.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.