Sciweavers

1710 search results - page 14 / 342
» Parallelism in Structured Newton Computations
Sort
View
127
Voted
BANFF
1995
15 years 8 months ago
Specification Structures and Propositions-as-Types for Concurrency
Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan