Sciweavers

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