Search Sciweavers | Sciweavers

321 search results - page 6 / 65

» concurrency 2004

click to vote

CONCUR
2004
Springer

87views Distributed And Parallel Com...» more CONCUR 2004»

Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency

13 years 11 months ago

Download www.it.uu.se

Luís Caires, Étienne Lozes

claim paper

Read More »

click to vote

AIPS
2004

63views Artificial Intelligence» more AIPS 2004»

Policy Generation for Continuous-time Stochastic Domains with Concurrency

13 years 8 months ago

Download www.tempastic.org

Håkan L. S. Younes, Reid G. Simmons

claim paper

Read More »

click to vote

ACJ
2004

85views more ACJ 2004»

Generating Reduced Finite State Machine from Concurrent Scenarios Using Static Partial Order Method

13 years 7 months ago

Download www.acs.org.au

Nam Hee Lee, Sung Deok Cha

claim paper

Read More »

click to vote

AICOM
2004

70views more AICOM 2004»

Model checking for the concurrent constraint paradigm

13 years 7 months ago

Download www.dimi.uniud.it

Alicia Villanueva

claim paper

Read More »

click to vote

CONCUR
2004
Springer

112views Distributed And Parallel Com...» more CONCUR 2004»

Resources, Concurrency and Local Reasoning

14 years 25 days ago

Download www.eecs.qmul.ac.uk

In this paper we show how a resource-oriented logic, separation logic, can be used to reason about the usage of resources in concurrent programs.

Peter W. O'Hearn

claim paper

Read More »

« Prev « First page 6 / 65 Last » Next »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers