Sciweavers

877 search results - page 3 / 176
» Full Abstraction for HOPLA
Sort
View
TACS
1991
Springer
13 years 11 months ago
Full Abstraction and the Context Lemma
Trevor Jim, Albert R. Meyer
ESOP
2008
Springer
13 years 9 months ago
Full Abstraction for Linda
Cinzia Di Giusto, Maurizio Gabbrielli
CORR
2010
Springer
47views Education» more  CORR 2010»
13 years 7 months ago
Tuple-based abstract data types: full parallelism
José Martinez, Carmelo Malta