7943 search results - page 48 / 1589 » A calculus for costed computations |
MEMBRANE
2007
Springer
15 years 4 months ago
2007
Springer
CONCUR
2004
Springer
15 years 3 months ago
2004
Springer
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We present a capability calculus for checking partial confluence of channel-communicating concurrent processes. Our approach automatically detects more programs to be par...
HOA
1995
15 years 1 months ago
1995
We show that it is decidable whether a third-order matching problem in the polymorphic lambda calculus has a solution. The proof is constructive in the sense that an algorithm can...
192
click to vote
Book
"I wrote this text for a one semester course at the sophomore-junior level. Our experience with
students taking our junior physics courses is that even if they've had th...