44 search results - page 1 / 9 » A Fully Abstract Semantics for Concurrent Graph Reduction |
LICS
1994
IEEE
14 years 3 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...
TACAS
2009
Springer
14 years 5 months ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
LICS
2002
IEEE
14 years 3 months ago
2002
IEEE
LICS
1995
IEEE
14 years 2 months ago
1995
IEEE
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
mantics Is Fully Abstract∗ Sumit Nain and Moshe Y. Vardi Rice University, Department of Computer Science Houston, TX 77005-1892, USA The discussion in the computer-science liter...