Sciweavers

4385 search results - page 14 / 877

» Abstraction for Concurrent Objects

27

ICALP
1992
Springer

77views Programming Languages» more ICALP 1992»

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

14 years 1 months ago

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

Download www.cs.tau.ac.il

Alexander Moshe Rabinovich

claim paper

Read More »

28

LICS
1995
IEEE

79views Automated Reasoning» more LICS 1995»

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

14 years 1 months ago

A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types

Download fpl.cs.depaul.edu

Alan Jeffrey

claim paper

Read More »

23

ENTCS
2008

105views more ENTCS 2008»

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation

13 years 9 months ago

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation

Download users.dsic.upv.es

María Alpuente, María-del-Mar Gallar...

claim paper

Read More »

15

CORR
2010
Springer

76views Education» more CORR 2010»

A framework for designing concurrent and recoverable abstract data types based on commutativity

13 years 8 months ago

A framework for designing concurrent and recoverable abstract data types based on commutativity

Download hal.archives-ouvertes.fr

Carmelo Malta, José Martinez

claim paper

Read More »

28

CORR
2011
Springer

157views Education» more CORR 2011»

A family of abstract interpretations for static analysis of concurrent higher-order programs

13 years 4 months ago

A family of abstract interpretations for static analysis of concurrent higher-order programs

Download www.ccs.neu.edu

Matthew Might, David Van Horn

claim paper

Read More »

« Prev « First page 14 / 877 Last » Next »