Safe Concurrency Introduction Through Slicing

doi 10.1145/2678015.2682533
Full Text
Abstract

Available in full text

Date
Authors
Publisher

ACM Press

Related search

Analyzing Concurrency Bugs Using Dual Slicing

2010English

Implicit Invocation Meets Safe, Implicit Concurrency

English

Unlocking Concurrency

Queue
Computer Science
2006English

An Introduction to Compositional Methods for Concurrency and Their Application to Real-Time

Informatik aktuell
ModelingSimulation
1992English

Application-Level Optimization of Big Data Transfers Through Pipelining, Parallelism and Concurrency

IEEE Transactions on Cloud Computing
Information SystemsComputer NetworksHardwareCommunicationsComputer Science ApplicationsArchitectureSoftware
2016English

Thin-Slicing Divorce

Psychological Science
Psychology
2010English

CONCUR 2007 – Concurrency Theory

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Constraints Meet Concurrency

Atlantis Studies in Computing
2014English

PyCSP - Controlled Concurrency

International Journal of Information Processing and Management
2010English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy