Search Sciweavers | Sciweavers

4385 search results - page 12 / 877

» Abstraction for Concurrent Objects

click to vote

ESWS
2008
Springer

100views Internet Technology» more ESWS 2008»

WSMO Choreography: From Abstract State Machines to Concurrent Transaction Logic

13 years 10 months ago

Download www.eswc2008.org

tract State Machines to Concurrent Transaction Logic Dumitru Roman1 , Michael Kifer2 , and Dieter Fensel1 1 STI Innsbruck, Austria 2 State University of New York at Stony Brook, US...

Dumitru Roman, Michael Kifer, Dieter Fensel

claim paper

Read More »

click to vote

ESOP
2004
Springer

152views Programming Languages» more ESOP 2004»

Resources, Concurrency, and Local Reasoning (Abstract)

14 years 1 months ago

Download www.eecs.qmul.ac.uk

t) Peter W. O’Hearn Queen Mary, University of London In the 1960s Dijkstra suggested that, in order to limit the complexity of potential process interactions, concurrent programs...

Peter W. O'Hearn

claim paper

Read More »

click to vote

PPDP
2009
Springer

144views Programming Languages» more PPDP 2009»

A framework for abstract interpretation of timed concurrent constraint programs

14 years 3 months ago

Download www.lix.polytechnique.fr

Moreno Falaschi, Carlos Olarte, Catuscia Palamides...

claim paper

Read More »