CONCUR 2008 - PDF Preprint Papers

CONCUR 2008 Seminar on Concurrency

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CONCUR-2008 Paper

click to vote

CONCUR
2008
Springer

159views Distributed And Parallel Com...» more CONCUR 2008»

Completeness and Nondeterminism in Model Checking Transactional Memories

13 years 6 months ago

Download mtc.epfl.ch

Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...

Rachid Guerraoui, Thomas A. Henzinger, Vasu Singh

claim paper

Read More »

Disclaimer and Copyright Notice

Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.

Id	Views	Title	Status

1	159	Completeness and Nondeterminism in Model Checking Transactional Memories	claim
2	157	Contract-Directed Synthesis of Simple Orchestrators	claim
3	145	Modeling Computational Security in Long-Lived Systems	claim
4	143	A Context-Free Process as a Pushdown Automaton	claim
5	132	Mixing Lossy and Perfect Fifo Channels	claim
6	116	Distributed Timed Automata with Independently Evolving Clocks	claim
7	111	Dynamic Partial Order Reduction Using Probe Sets	claim
8	109	A Model of Dynamic Separation for Transactional Memory	claim
9	108	Invariants for Parameterised Boolean Equation Systems	claim
10	107	Global Progress in Dynamically Interleaved Multiparty Sessions	claim
11	106	On the Construction of Sorted Reactive Systems	claim
12	106	Spatial and Behavioral Types in the Pi-Calculus	claim
13	105	Smyle: A Tool for Synthesizing Distributed Models from Scenarios by Learning	claim
14	102	Unfolding-Based Diagnosis of Systems with an Evolving Topology	claim
15	101	A Notion of Glue Expressiveness for Component-Based Systems	claim
16	101	Normed BPA vs. Normed BPP Revisited	claim
17	100	Strategy Construction for Parity Games with Imperfect Information	claim
18	99	Towards a Unified Approach to Encodability and Separation Results for Process Calculi	claim
19	99	SYCRAFT: A Tool for Synthesizing Distributed Fault-Tolerant Programs	claim
20	98	Knowledge and Information in Probabilistic Systems	claim
21	97	Deriving Structural Labelled Transitions for Mobile Ambients	claim
22	97	A Scalable and Oblivious Atomicity Assertion	claim
23	96	Termination Problems in Chemical Kinetics	claim
24	95	Abstraction for Stochastic Systems by Erlang's Method of Stages	claim
25	90	Quasi-Static Scheduling of Communicating Tasks	claim
26	88	Beyond Nash Equilibrium: Solution Concepts for the 21st Century	claim
27	85	A Rule Format for Associativity	claim
28	80	R-Automata	claim
29	79	Least Upper Bounds for Probability Measures and Their Applications to Abstractions	claim
30	79	Service Choreography and Orchestration with Conversations	claim
31	78	Environment Assumptions for Synthesis	claim
32	68	Subsequence Invariants	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers